functor (Ops : Genops.Ops->
  functor
    (Source : sig
                type t = Ops.t
                and state
                val genrand : Rand.RNGSource.state -> Rand.RNGSource.t
                val min : Rand.RNGSource.t
                val max : Rand.RNGSource.t
              end->
    sig
      type t = Ops.t
      and state
      val genrand : Rand.RNGSource.state -> Rand.RNGSource.t
      val min : Rand.RNGSource.t
      val max : Rand.RNGSource.t
    end