Module P2.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

val enum_const : case:int -> enum Sig.Context_Arity_Forward(Context).ar0

Constant enum value