You can search for identifiers within the package.
in-package search v0.2.0
As other Operators modules in batteries are named "Infix" we provide Infix as well. This is a mere copy of Operators.
val (/:) : t -> ustring -> t
val (//@) : t -> t -> t