Function minitt::parser::pi_type_to_expression

pub fn pi_type_to_expression(the_rule: Tok) -> Expression

pi = ${ ("\\Pi" | "\u{03A0}") ~ level }
pi_type = { pi ~ level ~ typed_abstraction }