sig type t val compare : Distributions.Categorical.OrderedType.t -> Distributions.Categorical.OrderedType.t -> int end