Function minitt::parser::sigma_type_to_expression

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

sigma = ${ ("\\Sigma" | "\u{03A3}") ~ level }
pi_type = { pi ~ typed_abstraction }