module System:Netsys_gssapi.GSSAPI
Netsys_gssapi
for additional type definitionstype
credential
type
context
type
name
Errors should be reported using the major_status
and minor_status
codes as much as possible.
Invalid_argument
may be raised for clear violations of calling
requirements, e.g. when an opaque object is passed to this interface
that was not returned by it before.
The following three exceptions can be used to wrap the per-GSSAPI types
credential
, context
, and name
:
exception Credential of credential
exception Context of context
exception Name of name
class type gss_api =[[credential, name
, context]]Netsys_gssapi.poly_gss_api
val interface : gss_api