module type IDIST = 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 = Source.t
Source.t
type state = Source.state
Source.state
val min : t
t
val max : t
class rng : state -> t -> t -> object end
state -> t -> t -> object end