Module Lang.TypeExpr

module Polymorphic_variant : sig ... end
module Object : sig ... end
module Package : sig ... end
type label =
  1. | Label of string
  2. | Optional of string
type t =
  1. | Var of string
  2. | Any
  3. | Alias of t * string
  4. | Arrow of label option * t * t
  5. | Tuple of t list
  6. | Constr of [ `Dot of Odoc_model__.Paths_types.Path.module_ * string | `Identifier of [ `Class of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassName.t | `ClassType of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassTypeName.t | `CoreType of Odoc_model__.Names.TypeName.t | `Type of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.TypeName.t ] Odoc_model__.Paths_types.id * bool | `Resolved of Odoc_model__.Paths_types.Resolved_path.type_ ] * t list
  7. | Polymorphic_variant of Polymorphic_variant.t
  8. | Object of Object.t
  9. | Class of [ `Dot of Odoc_model__.Paths_types.Path.module_ * string | `Identifier of [ `Class of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassName.t | `ClassType of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassTypeName.t ] Odoc_model__.Paths_types.id * bool | `Resolved of [ `Class of Odoc_model__.Paths_types.Resolved_path.module_ * Odoc_model__.Names.ClassName.t | `ClassType of Odoc_model__.Paths_types.Resolved_path.module_ * Odoc_model__.Names.ClassTypeName.t | `Identifier of [ `Class of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassName.t | `ClassType of Odoc_model__.Paths_types.Identifier.signature_pv Odoc_model__.Paths_types.id * Odoc_model__.Names.ClassTypeName.t ] Odoc_model__.Paths_types.id ] ] * t list
  10. | Poly of string list * t
  11. | Package of Package.t