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.