Module Connection.Cross_realmSource

Sourceval peer_principal : t -> Cross_realm_principal_name.t