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
val min : t
t
val max : t
class rng : t -> t -> object end
t -> t -> object end