package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module type is required to create the generative tests. Provide the framework-specific implementations here (ie: qcheck, jsverify,etc).

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