Module type Sig.ENUM_FORWARD

include ENUM_BACKWARD
type boolean
type enum
module Arity : ARITY
val caseof : case:int -> (enum, boolean) Arity.ar1

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

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

Constant enum value