Raw_grammar.Atom
A 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. *) |