Module Anons.Grammar

type t =
| Zero
| One of Base.String.t
| Many of t
| Maybe of t
| Concat of t Base.List.t
| Ad_hoc of Base.String.t
val bin_shape_t : Bin_prot.Shape.t
val compare : t -> t -> Base.Int.t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Base.Invariant.S with type t := t
val invariant : t -> unit
val usage : t -> Base.String.t