Module `Anons.Grammar`

type t = | Zero | One of Core_kernel__.Import.string | Many of t | Maybe of t | Concat of t Core_kernel__.Import.list | Ad_hoc of Core_kernel__.Import.string

val bin_shape_t : Bin_prot.Shape.t
val compare : t -> t -> Core_kernel__.Import.int
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

include Core_kernel__.Import.Invariant.S with type t := t

type t

val invariant : t Base__.Invariant_intf.inv

val usage : t -> Core_kernel__.Import.string