sig
type t
and num_type
val add : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
val sub : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
val succ : Genops.Ops.t -> Genops.Ops.t
val pred : Genops.Ops.t -> Genops.Ops.t
val mul : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
val div : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
val rem : Genops.Ops.t -> Genops.Ops.t -> Genops.Ops.t
val abs : Genops.Ops.t -> Genops.Ops.t
val zero : Genops.Ops.t
val one : Genops.Ops.t
val min : Genops.Ops.t
val max : Genops.Ops.t
val print : Pervasives.out_channel -> Genops.Ops.t -> unit
val to_float : Genops.Ops.t -> float
val of_float : float -> Genops.Ops.t
end