module Prop:sig..end
type'at ='a -> bool
val (==>) : ('a -> bool) -> 'a t -> 'a tval assume : bool -> unitval assume_lazy : bool lazy_t -> unitQCheck.Prop.assume.val raises : e:exn -> f:('a -> 'b) -> x:'a -> boolraise ~e ~f ~x is true if and only if calling
f x raises the exception exn.
For instance (on lists):
let prop l = Prop.(assume (l = []); raises ~f:List.hd ~x:l ~e:(Failure "hd"));;
val (&&&) : 'a t -> 'a t -> 'a tval (|||) : 'a t -> 'a t -> 'a tval (!!!) : 'a t -> 'a t