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 Polymorphic_variant.t

| Object of Object.t

| Class of Paths.Path.ClassType.t * t list

| Poly of string list * t

| Package of Package.t