Cross_realm_principal_name.UserSourceSee principal.mli for additional documentation.
This type represents a principal name much like Principal.Name.t with the additional property that it carries realm information rather than assuming the default realm. In addition, the hostname in Service.t should be fully qualified as it does not assume the default domain. See Fqdn for domain-related utility functions.