Plasma GitLab Archive
Projects Blog Knowledge

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
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml