module Prop:sig
..end
type'a
t ='a -> bool
val (==>) : ('a -> bool) -> 'a t -> 'a t
val assume : bool -> unit
val assume_lazy : bool lazy_t -> unit
QCheck.Prop.assume
.val raises : e:exn -> f:('a -> 'b) -> x:'a -> bool
raise ~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 t
val (|||) : 'a t -> 'a t -> 'a t
val (!!!) : 'a t -> 'a t