functor
(
N
:
Integral_value
)
->
T
Hosted by the
*
web site.
*
Other names and brands may be claimed as the property of others.