This definition shows that mappings and functions, as defined in this library, are interchangeable. (The other direction is straightforward as well.)