Function Hacl_GenericField64_exp_consttime 

pub unsafe extern "C" fn Hacl_GenericField64_exp_consttime(
    k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64,
    aM: *mut u64,
    bBits: u32,
    b: *mut u64,
    resM: *mut u64,
)