Functor Reins.Types.Poly.ComposeComparable

module ComposeComparable: 
functor (A : Comparable) -> 
functor (B : Comparable) -> sig .. end

type 'a t = 'a B.t A.t 

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

val to_string : ('a -> string) -> 'a t -> string