Source position: libnettle.pp line 1474
var nettle_rsa_pss_sha512_verify_digest: function(
key: Prsa_public_key;
salt_length: Tsize_t;
digest: Puint8_t;
signature: Pmpz_t
):Tcint;