You can search for identifiers within the package.
in-package search v0.2.0
preface.stdlib
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.