Function kimchi_msm::serialization::interpreter::constrain_multiplication

pub fn constrain_multiplication<F: PrimeField, Ff: PrimeField, Env: ColAccessCap<F, SerializationColumn> + LookupCap<F, SerializationColumn, LookupTable<Ff>>>(
    env: &mut Env
)

This constarins the multiplication part of the circuit.