Function minitt::parser::universe_to_expression

fn universe_to_expression(the_rule: Tok) -> Expression

level = { ASCII_DIGIT* }
universe = @{ "Type" ~ level }