Module Krb_internal_public.TicketSource

Sourcetype t

krb5_ticket

Kerberos ticket structure.

See credentials.mli for more information.

Sourceval kvno : t -> int