pub fn parse_inductive_form(node: &Node) -> Option<InductiveDecl>Expand description
Parse an (inductive Name (constructor …) …) form into an
InductiveDecl. Panics with Inductive declaration error: on a
malformed declaration so the existing diagnostic dispatch maps it to
E033.