functor
(
P
:
PROFILE
)
->
functor
(
G
:
Netsys_gssapi
.
GSSAPI
)
->
Nethttp
.
HTTP_MECHANISM