[−][src]Function minitt::parser::sigma_type_to_expression
pub fn sigma_type_to_expression(the_rule: Pair<'a, Rule>) -> Expression
ⓘThis example is not tested
pi = _{ Pi unicode | "\\Pi" } pi_type = { pi ~ typed_abstraction }