Module Int_Base

module Int_Base: sig .. end
Big integers with an additional top element.

type i = 
| Top
| Value of Integer.t
include Datatype.S
val zero : t
val one : t
val minus_one : t
val top : t
val neg : t -> t
val is_zero : t -> bool
val is_top : t -> bool
exception Error_Top
val inject : Integer.t -> t
val project : t -> Integer.t
Raises Error_Top if the argument is Top.
val cardinal_zero_or_one : t -> bool