Module Shape.Base_info

type grammar =
| Zero
| One of Base.String.t
| Many of grammar
| Maybe of grammar
| Concat of grammar Base.List.t
| Ad_hoc of Base.String.t
val bin_shape_grammar : Bin_prot.Shape.t
val bin_size_grammar : grammar Bin_prot.Size.sizer
val bin_write_grammar : grammar Bin_prot.Write.writer
val bin_writer_grammar : grammar Bin_prot.Type_class.writer
val bin_read_grammar : grammar Bin_prot.Read.reader
val __bin_read_grammar__ : (Base.Int.t -> grammar) Bin_prot.Read.reader
val bin_reader_grammar : grammar Bin_prot.Type_class.reader
val bin_grammar : grammar Bin_prot.Type_class.t
val compare_grammar : grammar -> grammar -> Base.Int.t
val sexp_of_grammar : grammar -> Ppx_sexp_conv_lib.Sexp.t
val grammar_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> grammar
type anons =
| Usage of Base.String.t

When exec'ing an older binary whose help sexp doesn't expose the grammar.

| Grammar of grammar
val bin_shape_anons : Bin_prot.Shape.t
val bin_size_anons : anons Bin_prot.Size.sizer
val bin_write_anons : anons Bin_prot.Write.writer
val bin_writer_anons : anons Bin_prot.Type_class.writer
val bin_read_anons : anons Bin_prot.Read.reader
val __bin_read_anons__ : (Base.Int.t -> anons) Bin_prot.Read.reader
val bin_reader_anons : anons Bin_prot.Type_class.reader
val compare_anons : anons -> anons -> Base.Int.t
val sexp_of_anons : anons -> Ppx_sexp_conv_lib.Sexp.t
val anons_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> anons
type t = {
summary : Base.String.t;
readme : Base.String.t Base.Option.t;
anons : anons;
flags : Flag_info.t Base.List.t;
}
include Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

val bin_shape_t : Bin_prot.Shape.t
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_reader_t : t Bin_prot.Type_class.reader
val compare : t -> t -> Base.Int.t
val flags : t -> Flag_info.t Base.List.t
val anons : t -> anons
val readme : t -> Base.String.t Base.Option.t
val summary : t -> Base.String.t
module Fields : sig ... end
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t