krb.internal
Krb_flags.Get_credentials
krb.public
type t =
| KRB5_GC_CACHED
Want a cached ticket. If this is specified, getting credentials from a cred cache that doesn't have them will fail, instead of reaching out to the KDC to get them.
| KRB5_GC_USER_USER
Want a user-user ticket
| KRB5_GC_NO_STORE
Do not store in credential cache
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal