krb.public
Connection.Cross_realm
krb.internal
val my_principal : t -> Cross_realm_principal_name.t
val peer_principal : t -> Cross_realm_principal_name.t