Module NonRelationalDomain.Enum_Forward
val caseof : case:int -> (enum, boolean) Domain_Arity.ar1val enum_const : case:int -> enum Domain_Arity.ar0NonRelationalDomain.Enum_Forward
val caseof : case:int -> (enum, boolean) Domain_Arity.ar1val enum_const : case:int -> enum Domain_Arity.ar0