You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
B.Enum_Backward
val caseof : case:int -> (enum, boolean) Operator.Backward_Arity.ar1
Boolean operation to check if the enumeration value is in case case
case