Function minitt::parser::sigma_type_to_expression

pub fn sigma_type_to_expression(the_rule: Pair<'a, Rule>) -> Expression

pi = _{ Pi unicode | "\\Pi" }
pi_type = { pi ~ typed_abstraction }