package core_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type grammar =
  1. | Zero
  2. | One of Base.String.t
  3. | Many of grammar
  4. | Maybe of grammar
  5. | Concat of grammar Base.List.t
  6. | 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 =
  1. | Usage of Base.String.t
    (*

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

    *)
  2. | 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 = {
  1. summary : Base.String.t;
  2. readme : Base.String.t Base.Option.t;
  3. anons : anons;
  4. 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
OCaml

Innovation. Community. Security.