Anons.Grammar
type t =
| Zero
| One of Base.string
| Many of t
| Maybe of t
| Concat of t Base.list
| Ad_hoc of Base.string
include Ppx_compare_lib.Comparable.S with type t := t
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