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
  2. | Any
  3. | Alias of t * string
  4. | Arrow of label option * t * t
  5. | Tuple of t list
  6. | Constr of Paths.Path.Type.t * t list
  7. | Polymorphic_variant of Polymorphic_variant.t
  8. | Object of Object.t
  9. | Class of Paths.Path.ClassType.t * t list
  10. | Poly of string list * t
  11. | Package of Package.t