Function Hacl_RSAPSS_rsapss_pkey_verify 

pub unsafe extern "C" fn Hacl_RSAPSS_rsapss_pkey_verify(
    a: Spec_Hash_Definitions_hash_alg,
    modBits: u32,
    eBits: u32,
    nb: *mut u8,
    eb: *mut u8,
    saltLen: u32,
    sgntLen: u32,
    sgnt: *mut u8,
    msgLen: u32,
    msg: *mut u8,
) -> bool