Module Convert_Enum_Forward.F
include module type of struct include D end
type boolean = D.booleantype enum = D.enummodule Context = D.Contextmodule Enum_Forward = D.Enum_Forwardinclude module type of struct include D.Enum_Forward end
val caseof :
case:int ->
(D.enum, D.boolean) Context_Arity_Forward(D.Context).ar1Boolean operation to check if the enumeration value is in case case
val enum_const : case:int -> D.enum Context_Arity_Forward(D.Context).ar0Constant enum value