pub unsafe extern "C" fn Hacl_Bignum64_mont_ctx_free(
k: *mut Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64,
)Expand description
Deallocate the memory previously allocated by Hacl_Bignum64_mont_ctx_init.
The argument k is a montgomery context obtained through Hacl_Bignum64_mont_ctx_init.