[−][src]Function minitt::parser::atom_to_expression
pub fn atom_to_expression(rules: Pair<'a, Rule>) -> Expression
ⓘThis example is not tested
atom = { universe | constructor | variable | split | sum | one | unit | pi_type | sigma_type | lambda_expression | "(" ~ expression ~ ")" }