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