in Pyret, 7==7
a general statement of the name, domain, and range of a function
Imported from external platform