Source position: libnettle.pp line 1455
var nettle_rsa_sha512_sign_tr: function(
pub: Prsa_public_key;
key: Prsa_private_key;
random_ctx: pointer;
random: pnettle_random_func;
hash: Psha512_ctx;
s: Pmpz_t
):Tcint;