package inferno

  1. Overview
  2. Docs
type tyvar = int
type 'a structure
type ty
val variable : tyvar -> ty
val structure : ty structure -> ty
val mu : tyvar -> ty -> ty
type scheme = tyvar list * ty
OCaml

Innovation. Community. Security.