Domain.Enum_Forward
val caseof : case:int -> Context.t -> enum -> boolean
val enum_const : case:int -> Context.t -> enum