package zelus

  1. Overview
  2. Docs

Module Defcaus

Type definitions.

type tc_scheme = {
  1. typ_vars : t list;
  2. typ_rel : (t * t list) list;
  3. typ : tc;
}
and tc =
  1. | Cfun of tc * tc
  2. | Cproduct of tc list
  3. | Catom of t
and t = {
  1. mutable c_desc : desc;
  2. mutable c_level : int;
  3. mutable c_index : int;
  4. mutable c_inf : t list;
  5. mutable c_sup : t list;
  6. mutable c_useful : bool;
  7. mutable c_polarity : polarity;
  8. mutable c_info : info option;
  9. mutable c_visited : int;
}
and desc =
  1. | Cvar
and info =
  1. | Cname of Zident.t
  2. | Clast of Zident.t
and polarity =
  1. | Punknown
  2. | Pplus
  3. | Pminus
  4. | Pplusminus
val compare : t -> t -> int
val no_typ : tc