A grammatical type which classifies atoms.

A grammatical type which classifies atoms.

type t =
  1. | String
    (*

    Any atom.

    *)
  2. | Bool
    (*

    One of true, false, True, or False.

    *)
  3. | Char
    (*

    A single-character atom.

    *)
  4. | Float
    (*

    An atom which parses as a float.

    *)
  5. | Int
    (*

    An atom which parses as an integer, such as int or int64.

    *)
  6. | This of {
    1. ignore_capitalization : bool;
    2. string : string;
    }
    (*

    Exactly that string, possibly modulo case in the first character.

    *)