Functor Reins.Types.Mono.ComposeGen

module ComposeGen: 
functor (P : Reins.Types.Poly.Arbitrary) -> 
functor (M : Arbitrary) -> sig .. end

type t = M.t P.t 

val gen : ?size:int -> Random.State.t -> t

val to_string : t -> string