Expert (p.krb.v0.16.0.doc.krb.internal.Krb_internal_public.Cred

Sourceval new_unique : Cache_type.t -> t Async.Deferred.Or_error.t

Sourceval cache_match : Principal.t -> t Async.Deferred.Or_error.t

Sourceval cache_type : t -> Cache_type.t Async.Deferred.t

Sourceval resolve : string -> t Async.Deferred.Or_error.t

Sourceval full_name : t -> string

Sourceval creds : t -> Credentials.t list Async.Deferred.Or_error.t

val get_credentials_for_user : 
  ?tag_error_with_all_credentials:bool ->
  ?ensure_cached_valid_for_at_least:Core.Time_float.Span.t ->
  flags:Krb_flags.Get_credentials.t list ->
  t ->
  request:Credentials.t ->
  Credentials.t Async.Deferred.Or_error.t

See docs for get_credentials. The difference is that this function can get fresh tickets from the KDC where principal t is the server principal, rather than the client. The client may be any existing principal.