Module `Numeric_simple.Enum_Forward`

val caseof : 
  case:int ->
  (enum, boolean) Domains.Sig.Context_Arity_Forward(Context).ar1

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

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

Constant enum value

Module Numeric_simple.Enum_Forward