jon.recoil.org

Module Lang.TypeExprSource

module Polymorphic_variant : sig ... end
module Object : sig ... end
module Package : sig ... end
type label =
  1. | Label of string
  2. | RawOptional of string
  3. | Optional of string
type t =
  1. | Var of string * string option
    (*

    name, jkind (e.g. Some "float64")

    *)
  2. | Any
  3. | Alias of Odoc_model.Lang.TypeExpr.t * string
  4. | Arrow of Odoc_model.Lang.TypeExpr.label option * Odoc_model.Lang.TypeExpr.t * Odoc_model.Lang.TypeExpr.t * string list * string list
    (*

    label, arg, ret, arg_modes, ret_modes

    *)
  5. | Tuple of (string option * Odoc_model.Lang.TypeExpr.t) list
  6. | Unboxed_tuple of (string option * Odoc_model.Lang.TypeExpr.t) list
  7. | Constr of Odoc_model.Paths.Path.Type.t * Odoc_model.Lang.TypeExpr.t list
  8. | Polymorphic_variant of Odoc_model.Lang.TypeExpr.Polymorphic_variant.t
  9. | Object of Odoc_model.Lang.TypeExpr.Object.t
  10. | Class of Odoc_model.Paths.Path.ClassType.t * Odoc_model.Lang.TypeExpr.t list
  11. | Poly of (string * string option) list * Odoc_model.Lang.TypeExpr.t
    (*

    Universally quantified type variables with optional jkind annotation, e.g. ("a", Some "value_or_null") for ('a : value_or_null). .... The jkind is None for the default value layout.

    *)
  12. | Quote of Odoc_model.Lang.TypeExpr.t
  13. | Splice of Odoc_model.Lang.TypeExpr.t
  14. | Package of Odoc_model.Lang.TypeExpr.Package.t