This project is read-only.
1

Resolved

Rebinding constructors in module import list

description

There should be a possibility to rebind constructors in a module export list like so:
open modulename (Foo = Bar)

comments