Functor Reins.Types.Poly.ComposeGenComparable


module ComposeGenComparable: 
functor (A : ArbitraryComparable) ->
functor (B : ArbitraryComparable) -> sig .. end
Parameters:
A : ArbitraryComparable
B : ArbitraryComparable

type 'a t = 'a B.t A.t 
val gen : (?size:int -> Random.State.t -> 'a) ->
?size:int -> Random.State.t -> 'a t
val to_string : ('a -> string) -> 'a t -> string
val compare : ('a -> 'a -> int) ->
'a t ->
'a t -> int