functor
(Ops : sig
type t
and num_type = Math.integer
val add : t -> t -> t
val sub : t -> t -> t
val succ : t -> t
val pred : t -> t
val mul : t -> t -> t
val div : t -> t -> t
val rem : t -> t -> t
val abs : t -> t
val zero : t
val one : t
val min : t
val max : t
val print : out_channel -> t -> unit
val to_float : t -> float
val of_float : float -> t
end) ->
functor
(Source : sig
type t = float
val genrand : unit -> Rand.RNGSource.t
val min : Rand.RNGSource.t
val max : Rand.RNGSource.t
end) ->
sig
type t = Ops.t
val min : Rand.IFDIST.t
val max : Rand.IFDIST.t
class rng :
Rand.IFDIST.t ->
object
method genrand : Rand.IFDIST.t
method max : Rand.IFDIST.t
method min : Rand.IFDIST.t
end
end