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