Function minitt::parser::atom_to_expression

pub fn atom_to_expression(rules: Pair<'a, Rule>) -> Expression

atom =
  { universe
  | constructor
  | variable
  | split
  | sum
  | one
  | unit
  | pi_type
  | sigma_type
  | lambda_expression
  | "(" ~ expression ~ ")"
  }