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