Raw_grammar.AtomA grammatical type which classifies atoms.
type t = | String | (* Any atom. *) | ||
| Bool | (* One of   | ||
| Char | (* A single-character atom. *) | ||
| Float | (* An atom which parses as a   | ||
| Int | (* An atom which parses as an integer, such as   | ||
| This of {
 } | (* Exactly that string, possibly modulo case in the first character. *) |