Module Automata.Char

Characters: strings used as atomic alphabet symbols.

A character is just a string (typically a single letter or a short label such as "a_0"). This module equips string with the Comparator and hash interfaces needed to use characters as map and set keys.

module T : sig ... end
include module type of struct include T end
type t = Base.string
val compare : t -> t -> Base.int
val equal : t -> t -> Base.bool
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val sexp_of_t : t -> Sexplib0.Sexp.t
include sig ... end
type comparator_witness = Base__Comparator.Make(T).comparator_witness
val comparator : (T.t, comparator_witness) Base__Comparator.comparator
type set = (t, comparator_witness) Base.Set.t
type 'a map = (t, 'a, comparator_witness) Base.Map.t
val to_string : 'a -> 'a