You can search for identifiers within the package.
in-package search v0.2.0
codex.single_value_abstraction
Quadrivalent.Boolean_Backward
val not : (boolean, boolean) Operator.Backward_Arity.ar1
val (&&) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2
val (||) : (boolean, boolean, boolean) Operator.Backward_Arity.ar2