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
val inject : Integer.t -> t
val project : t -> Integer.t
val cardinal_zero_or_one : t -> bool