[Polyml] Re: Defining a function