package krb

  1. Overview
  2. Docs

Module Krb_internal_public.TicketSource

Sourcetype t

krb5_ticket

Kerberos ticket structure.

See credentials.mli for more information.

Sourceval kvno : t -> int