Module Anons.Grammar

type t =
  1. | Zero
  2. | One of Base.string
  3. | Many of t
  4. | Maybe of t
  5. | Concat of t Base.list
  6. | Ad_hoc of Base.string
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int
val sexp_of_t : t -> Sexplib0.Sexp.t
include Base.Invariant.S with type t := t
val invariant : t -> unit
val usage : t -> Base.string