Module Krb_public.Client_principalSource

Sourcetype t = {
  1. client_principal : Principal.Name.t;
}
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t