package zelus

  1. Overview
  2. Docs

Module Definit

Type definitions.

type ti_scheme = {
  1. typ_vars : t list;
  2. typ_rel : (t * t list) list;
  3. typ : ti;
}
and ti =
  1. | Ifun of ti * ti
  2. | Iproduct of ti list
  3. | Iatom of t
and t = {
  1. mutable i_desc : desc;
  2. mutable i_level : int;
  3. mutable i_index : int;
  4. mutable i_inf : t list;
  5. mutable i_sup : t list;
  6. mutable i_min : value;
  7. mutable i_useful : bool;
  8. mutable i_polarity : polarity;
  9. mutable i_visited : int;
}
and desc =
  1. | Ivalue of value
  2. | Ivar
and value =
  1. | Izero
  2. | Ione
  3. | Ihalf
and polarity =
  1. | Punknown
  2. | Pplus
  3. | Pminus
  4. | Pplusminus
val compare : t -> t -> int
val no_typ : ti