function psi2import { psi2 } from "https://deno.land/x/bls12_381@1.0.0/math.d.ts"; psi2(x: Fp2, y: Fp2): [Fp2, Fp2]Parametersx: Fp2y: Fp2Returns[Fp2, Fp2]