On Wed, 19 Dec 2018 at 08:49, Daniel-Constantin Mierla <miconda@gmail.com> wrote:

2) remove the function export from the core and export one with the same
name from the corex module

I vote for the second, I like a clean house :-)