Parameter Log_Enum_Forward.F

val caseof : case:int -> (C.enum, C.boolean) C.Arity.ar1

Boolean operation to check if the enumeration value is in case case

val enum_const : case:int -> C.enum C.Arity.ar0

Constant enum value