Redirecting to
../../openvm_ecc_circuit/struct.WeierstrassExtension.html
...