Functor Reins.Types.Mono.ComposeGenComparable

module ComposeGenComparable: 
functor (P : Reins.Types.Poly.ArbitraryComparable) -> 
functor (M : ArbitraryComparable) -> sig .. end

type t = M.t P.t 

val gen : ?size:int -> Random.State.t -> t

val to_string : t -> string

val compare : t ->
       t -> int