Parameter Option.2-Q

type t = T.test
type 'a arbitrary
val arbitrary_int : int arbitrary
val property : ?⁠count:int -> ?⁠name:string -> 'a arbitrary -> ('a -> bool) -> t
val property2 : ?⁠count:int -> ?⁠name:string -> 'a arbitrary -> 'b arbitrary -> ('a -> 'b -> bool) -> t
val property3 : ?⁠count:int -> ?⁠name:string -> 'a arbitrary -> 'b arbitrary -> 'c arbitrary -> ('a -> 'b -> 'c -> bool) -> t
val property4 : ?⁠count:int -> ?⁠name:string -> 'a arbitrary -> 'b arbitrary -> 'c arbitrary -> 'd arbitrary -> ('a -> 'b -> 'c -> 'd -> bool) -> t