sig
type credential
type context
type name
exception Credential of Netsys_gssapi.GSSAPI.credential
exception Context of Netsys_gssapi.GSSAPI.context
exception Name of Netsys_gssapi.GSSAPI.name
class type gss_api =
[Netsys_gssapi.GSSAPI.credential, Netsys_gssapi.GSSAPI.name,
Netsys_gssapi.GSSAPI.context]
poly_gss_api
val interface : Netsys_gssapi.GSSAPI.gss_api
end
