`sig
module type PROFILE =
sig
val mechanism_name : string
val announce_channel_binding : bool
val mechanism_oid : Netsys_gssapi.oid
val client_additional_params : string list
val server_additional_params : string list
val client_map_user_name :
params:(string * string) list -> string -> string * Netsys_gssapi.oid
val server_map_user_name :
params:(string * string) list -> string * Netsys_gssapi.oid -> string
val client_get_target_name :
params:(string * string) list -> string * Netsys_gssapi.oid
val server_bind_target_name :
params:(string * string) list -> (string * Netsys_gssapi.oid) option
val server_check_target_name :
params:(string * string) list -> string * Netsys_gssapi.oid -> bool
val client_flags :
params:(string * string) list -> (Netsys_gssapi.req_flag * bool) list
val server_flags :
params:(string * string) list -> Netsys_gssapi.req_flag list
val client_credential : exn option
end
module GS2 :
functor (P : PROFILE) (GSS : Netsys_gssapi.GSSAPI) ->
Netsys_sasl_types.SASL_MECHANISM
end`