module type IFDIST = functor (Ops : sig end) -> functor (Source : sig end) -> sig end
functor (Ops : sig end) -> functor (Source : sig end) -> sig end
Ops
sig end
Source
type t = Ops.t
Ops.t
type state = Source.state
Source.state
val min : t
t
val max : t
class rng : state -> t -> object end
state -> t -> object end