functor
(
P
:
PROFILE
)
->
functor
(
GSS
:
Netsys_gssapi
.
GSSAPI
)
->
Netsys_sasl_types
.
SASL_MECHANISM