mul

stwo_cairo_prover/crates/prover/src/components/mod.rs

@@ -17,8 +17,15 @@ pub mod range_check_vector;
 pub mod ret_opcode;
 pub mod verify_instruction;
 
+// TODO(Ohad): mul small.
+pub mod mul_opcode_is_small_f_is_imm_f;
+pub mod mul_opcode_is_small_f_is_imm_t;
+
 pub use memory::{memory_address_to_id, memory_id_to_big};
-pub use range_check_vector::{range_check_19, range_check_4_3, range_check_7_2_5, range_check_9_9};
+pub use range_check_vector::{
+    range_check_19, range_check_3, range_check_4_3, range_check_6, range_check_7_2_5,
+    range_check_9_9,
+};
 
 // When padding is needed, the inputs must be arranged in order defined by the neighbor
 // function. his order allows using the partial sum mechanism to sum only the first n_call inputs.

stwo_cairo_prover/crates/prover/src/components/mul_opcode_is_small_f_is_imm_f/mod.rs

@@ -0,0 +1,5 @@
+pub mod component;
+pub mod prover;
+
+pub use component::{Claim, Component, Eval, InteractionClaim};
+pub use prover::{ClaimGenerator, InputType, InteractionClaimGenerator};

stwo_cairo_prover/crates/prover/src/components/mul_opcode_is_small_f_is_imm_t/mod.rs

@@ -0,0 +1,5 @@
+pub mod component;
+pub mod prover;
+
+pub use component::{Claim, Component, Eval, InteractionClaim};
+pub use prover::{ClaimGenerator, InputType, InteractionClaimGenerator};