Functor Reins.Types.Mono.ComposeComparable

module ComposeComparable: 
functor (P : Reins.Types.Poly.Comparable) -> 
functor (M : Comparable) -> sig .. end

type t = M.t P.t 

val compare : t ->
       t -> int

val to_string : t -> string