Module Krb_public.Server_principalSource

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