Module type Reins.Types.Poly.ArbitraryComparable

module type ArbitraryComparable = sig .. end

include Reins.Types.Poly.Arbitrary

val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int