argument depending on how the function is applied. There is one
exception to this: The top level function that is translated, can
not have any polymorphic arguments (since it is never applied, so
there is no way to find out the actual types for the type
parameters).
argument depending on how the function is applied. There is one
exception to this: The top level function that is translated, can
not have any polymorphic arguments (since it is never applied, so
there is no way to find out the actual types for the type
parameters).