Functor Numref.GenRefOps


module GenRefOps: functor (Ops : Genops.Ops) -> sig  end
Functor to create modules with the appropriate operations
Parameters:
Ops : Genops.Ops

type t 
The numeric type of the operations
val (+=) : Numref.REFOPS.t Pervasives.ref -> Numref.REFOPS.t -> unit
a += b adds b to the value in a.
val (-=) : Numref.REFOPS.t Pervasives.ref -> Numref.REFOPS.t -> unit
a -= b subtracts b from the value in a.
val (*=) : Numref.REFOPS.t Pervasives.ref -> Numref.REFOPS.t -> unit
a *= b multiplies a with b and updates a with the result.
val (/=) : Numref.REFOPS.t Pervasives.ref -> Numref.REFOPS.t -> unit
a /= b divides a with b and updates a with the result.