Plasma GitLab Archive
Projects Blog Knowledge

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