Compiler.Types
type tyvar = string
type ty =
| TInvalid
| TUnit
| TInt
| TBool
| TString
| TArrow of ty * ty
| TVar of tyvar
| TList of ty
type tyenv = (string * ty) list
type tysubst = (tyvar * ty) list
val string_of_ty : ty -> tyvar
val string_of_tyenv : (string * ty) list -> string
val string_of_tysubst : (tyvar * ty) list -> string