preface.stdlib
Predicate.Infix
preface
preface.core
preface.laws
preface.make
preface.qcheck
preface.specs
val (&&) : 'a t -> 'a t -> 'a t
Compose two predicates (using and).
val (||) : 'a t -> 'a t -> 'a t
Compose two predicates (using or).
val (!) : 'a t -> 'a t
negate the predicate.