When naming functions, it annoying
to write the signature of the function
when there is clearly only one function
of a given name. in this special case
you can use the keyword 'the' to specify
you mean that function.
Start C++ section to tut/examples/tut138a.flx[1
/1
]
1: include "std";
2: 3: fun f(x:int):int=>x*x;
4: fun apply[s,d] (f:s->d) (x:s) : d => f x;
5: 6: print (apply (the f) 4); endl;
7: