Function parse_coinductive_form 

pub fn parse_coinductive_form(node: &Node) -> Option<CoinductiveDecl>

Parse a (coinductive Name (constructor …) …) form into a CoinductiveDecl. Panics with Coinductive declaration error: on a malformed or non-productive declaration so the existing diagnostic dispatch maps it to E036.