Sourcetype typ = [ | `Rsa| `Ed25519
] Sourceval typ_of_string : string -> ([> `Ed25519 | `Rsa ], string) result Sourceval string_of_typ : [< `Ed25519 | `Rsa ] -> string Sourcetype authenticator = [ | `No_authentication| `Key of Hostkey.pub| `Fingerprint of typ * string
] Sourceval hostkey_matches :
[< `Fingerprint of [> `Ed25519 | `Rsa ] * string
| `Key of Hostkey.pub
| `No_authentication ] ->
Hostkey.pub ->
bool Sourceval authenticator_of_string :
string ->
([> `Fingerprint of [> `Ed25519 | `Rsa ] * string
| `Key of Hostkey.pub
| `No_authentication ],
string)
result