[−][src]Function minitt::parser::sigma_type_to_expression
fn sigma_type_to_expression(the_rule: Tok) -> Expression
ⓘThis example is not tested
sigma = ${ ("\\Sigma" | "\u{03A3}") ~ level } pi_type = { pi ~ typed_abstraction }