sig
type 'a t
val of_int : int -> 'a Runtime_mem.Create.??.t
val of_int64 : Int64.t -> 'a Runtime_mem.Create.??.t
val of_term : 'a Runtime_mem.Create.tint -> 'a Runtime_mem.Create.??.t
val add :
'a Runtime_mem.Create.??.t ->
'b Runtime_mem.Create.??.t -> 'a Runtime_mem.Create.??.t
val sub :
'a Runtime_mem.Create.??.t ->
'b Runtime_mem.Create.??.t -> 'a Runtime_mem.Create.??.t
val cnst_mult :
Int64.t -> 'a Runtime_mem.Create.??.t -> 'a Runtime_mem.Create.??.t
val mult :
'a Runtime_mem.Create.??.t ->
'b Runtime_mem.Create.??.t -> 'b Runtime_mem.Create.??.t
val to_term : 'a Runtime_mem.Create.??.t -> 'a Runtime_mem.Create.tint
val eq_pred :
'a Runtime_mem.Create.??.t -> 'a Runtime_mem.Create.??.t -> F.pred
end