Function kimchi::circuits::polynomials::foreign_field_mul::witness::create

pub fn create<F: PrimeField>(
    left_input: &BigUint,
    right_input: &BigUint,
    foreign_field_modulus: &BigUint
) -> ([Vec<F>; 15], ExternalChecks<F>)

Create a foreign field multiplication witness Input: multiplicands left_input and right_input