module type ArbitraryComparable = sig .. end
sig
end
include Reins.Types.Mono.Arbitrary
val compare : t -> t -> int
t -> t -> int