(* $Id: netgss.mli 2084 2014-10-10 19:07:16Z gerd $ *) module System : Netsys_gssapi.GSSAPI (** This is the system-wide version of GSSAPI *)