Predicate.Infix
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.