Module Domain.Enum_ForwardSource

Sourceval caseof : case:int -> Context.t -> enum -> boolean
Sourceval enum_const : case:int -> Context.t -> enum