Source position: libnettle.pp line 1456
var nettle_rsa_sha512_verify: function(
key: Prsa_public_key;
hash: Psha512_ctx;
signature: Pmpz_t
):Tcint;