Module D.Enum_Forward
val caseof : case:int -> (enum, boolean) Context_Arity_Forward(Context).ar1Boolean operation to check if the enumeration value is in case case
val enum_const : case:int -> enum Context_Arity_Forward(Context).ar0Constant enum value