package base

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type label = string
type generic_group_id = string
type group_id = Sexplib0__.Lazy_group_id.t
type var_name = string
type type_name = string
module Atom : sig ... end
type !'t type_ = 't Sexplib0__Raw_grammar.type_ =
  1. | Any
  2. | Apply of 't type_ * 't type_ list
  3. | Atom of Atom.t
  4. | Explicit_bind of var_name list * 't type_
  5. | Explicit_var of int
  6. | Grammar of 't
  7. | Implicit_var of int
  8. | List of 't sequence_type
  9. | Option of 't type_
  10. | Record of 't record_type
  11. | Recursive of type_name
  12. | Union of 't type_ list
  13. | Variant of 't variant_type
and !'t sequence_type = 't component list
and !'t component = 't Sexplib0__Raw_grammar.component =
  1. | One of 't type_
  2. | Optional of 't type_
  3. | Many of 't type_
  4. | Fields of 't record_type
and !'t variant_type = 't Sexplib0__Raw_grammar.variant_type = {
  1. ignore_capitalization : bool;
  2. alts : (label * 't sequence_type) list;
}
and !'t record_type = 't Sexplib0__Raw_grammar.record_type = {
  1. allow_extra_fields : bool;
  2. fields : (label * 't field) list;
}
and !'t field = 't Sexplib0__Raw_grammar.field = {
  1. optional : bool;
  2. args : 't sequence_type;
}
type t = Sexplib0__Raw_grammar.t =
  1. | Ref of type_name * group
  2. | Inline of t type_
and group = Sexplib0__Raw_grammar.group = {
  1. gid : group_id;
  2. generic_group : generic_group;
  3. origin : string;
  4. apply_implicit : t list;
}
and generic_group = Sexplib0__Raw_grammar.generic_group = {
  1. implicit_vars : var_name list;
  2. ggid : generic_group_id;
  3. types : (type_name * t type_) list;
}
module Builtin : sig ... end
val empty_sexp_grammar : t
val opaque_sexp_grammar : t
val fun_sexp_grammar : t
val tuple2_sexp_grammar : t
OCaml

Innovation. Community. Security.