You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Make.Enum_Forward
val caseof : case:int -> (enum, boolean) Sig.Context_Arity_Forward(Context).ar1
Boolean operation to check if the enumeration value is in case case
case
val enum_const : case:int -> enum Sig.Context_Arity_Forward(Context).ar0
Constant enum value