[sr-dev] [SR-Users] RFC: updates to some core functions

[Fred Posner]

On 12/19/18 3:18 AM, Victor Seva wrote:
> On Wed, 19 Dec 2018 at 08:49, Daniel-Constantin Mierla 
> <miconda at gmail.com <mailto:miconda at gmail.com>> wrote:
> 
>     2) remove the function export from the core and export one with the same
>     name from the corex module
> 

This would be my preference as well.

--fred