openvm_pairing_circuit

Function mul_013_by_013_expr

Source 
pub fn mul_013_by_013_expr(
    config: ExprBuilderConfig,
    range_bus: VariableRangeCheckerBus,
    xi: [isize; 2],
) -> FieldExpr