Parameter Convert_Enum_Forward.F
val caseof : case:int -> (enum, boolean) C.From_Arity.ar1Boolean operation to check if the enumeration value is in case case
val enum_const : case:int -> enum C.From_Arity.ar0Constant enum value