Module Distributions.Categorical

module Categorical: sig .. end

module type OrderedType = sig .. end
module type S = sig .. end
module Make: 
functor (Elt : Map.OrderedType) -> S with type elt = Elt.t