Trait ha::Ho [−][src]
Implemented by higher order types.
A higher order type might be a concrete value,
or it might be a function of some input type T
.
Each higher order type has an associated function type
for any argument of type T
.
This makes it possible to e.g. associate PointFunc<T>
with Point
.