Module Lang.TypeExpr

module Polymorphic_variant : sig ... end
module Object : sig ... end
module Package : sig ... end
type label =
| Label of string
| Optional of string
type t =
| Var of string
| Any
| Alias of t * string
| Arrow of label option * t * t
| Tuple of t list
| Constr of Paths.Path.Type.t * t list
| Polymorphic_variant of TypeExpr.Polymorphic_variant.t
| Object of TypeExpr.Object.t
| Class of Paths.Path.ClassType.t * t list
| Poly of string list * t
| Package of TypeExpr.Package.t