Source position: libnettle.pp line 1465
var nettle_rsa_sha256_verify_digest: function(
key: Prsa_public_key;
digest: Puint8_t;
signature: Pmpz_t
):Tcint;