Module Runtime_mem.Create.Aint


module Aint: sig .. end

type 'a t = aint 
val of_int64 : Int64.t -> aint
val of_int : int -> aint
val of_term : D.integer -> aint
val to_term : 'a t -> 'b Runtime_mem.Create.tint
val cnst_mult : Int64.t -> 'a t -> aint
val mult : 'a t ->
'b t -> aint
val add : 'a t ->
'a t -> 'a t
val sub : 'a t ->
'b t -> aint
val eq_pred : 'a t ->
'b t -> Runtime_mem.Create.F.pred