binius_circuits::arithmetic::mul

Function mul

Source 
pub fn mul<FExpBase>(
    builder: &mut ConstraintSystemBuilder<'_>,
    name: impl ToString,
    xin_bits: Vec<OracleId>,
    yin_bits: Vec<OracleId>,
) -> Result<Vec<OracleId>, Error>
where
    FExpBase: TowerField,
    F: From<FExpBase>,