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