Module Ast.TypeExpr

type level = int
type t =
  1. | Type_arrow of t * t
  2. | Type_tuple of t List2.t
  3. | Type_var of tv Stdlib.ref
  4. | Quant_type_var of ident
  5. | Type_construct of ident * t list
and tv =
  1. | Unbound of ident * level
val equal : t -> t -> bool
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> ident
val gen_sized : int -> t QCheck.Gen.t
val gen : t QCheck.Gen.t
val arb_sized : int -> t QCheck.arbitrary
val arb : t QCheck.arbitrary