module GenPair: functor (A : Arbitrary) -> functor (B : Arbitrary) -> sig .. end
functor (
A
:
Arbitrary
) ->
B
sig
end
type t = A.t * B.t
A.t * B.t
val gen : ?size:int -> Random.State.t -> t
?size:int -> Random.State.t -> t
val to_string : t -> string
t -> string