module type GSSAPI =
The General Security Services API
Netsys_gssapi for additional type definitions
A credential is opaque for the caller of the GSS-API. The provider of the GSS-API can emit new credential objects, and hand them out to the caller.
A context is also opaque.
A name is also opaque
There are no defined exceptions for reporting errors.
Errors should be reported using the
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
exception Credential of
exception Context of
exception Name of
class type gss_api =
The methods have generally a type of the form
val interface :