Sourceval pub_of_sexp : 'a -> 'b Sourceval comptible_alg : pub -> string -> bool Sourcetype alg = | Rsa_sha1| Rsa_sha256| Rsa_sha512| Ed25519
Sourceval hash : alg -> [> `SHA1 | `SHA256 | `SHA512 ] Sourceval algs_of_typ : [< `Ed25519 | `Rsa ] -> alg list Sourceval priv_to_typ : priv -> [> `Ed25519 | `Rsa ] Sourceval alg_matches : [< `Ed25519 | `Rsa ] -> alg -> bool