Assertion: parameter's type | /r/HasProperty | higher-order function
Facets:
value: aka
type: OTHER
Source sentences:
text: However, in addition to several other disadvantages, since the default arguments are not modeled in the type system, the type of a callback (aka higher-order function) can’t express that it accepts either of the overloads nor simulate the default arguments with overloaded functions.