Module Convert_to_monadic.Enum_Forward
type boolean = D.booleantype enum = D.enumval caseof : case:int -> (enum, boolean) Conversion.To_Arity.ar1val enum_const : case:int -> enum Conversion.To_Arity.ar0Convert_to_monadic.Enum_Forward
type boolean = D.booleantype enum = D.enumval caseof : case:int -> (enum, boolean) Conversion.To_Arity.ar1val enum_const : case:int -> enum Conversion.To_Arity.ar0