[−][src]Function minitt::parser::pi_type_to_expression
fn pi_type_to_expression(the_rule: Tok<'_>) -> Expression
ⓘThis example is not tested
pi = ${ ("\\Pi" | "\u{03A0}") ~ level } pi_type = { pi ~ level ~ typed_abstraction }