add bool ops and change biguint supported types

[anatgstarkware]

This change is 

[shaharsamocha7]

Reviewed all commit messages.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @anatgstarkware, @DavidLevitGurevich, and @ohad-starkware)

---

stwo_cairo_prover/crates/prover_types/src/cpu.rs line 614 at r1 (raw file):

            6 => "BigUInt<384, 6>".to_string(),
            7 => "BigUInt<448, 7>".to_string(),
            12 => "BigUInt<768, 12>".to_string(),

Don't we need 4,8 anymore?
Also, can we just format the expression x -> <64*x, x>?

Code quote:

            6 => "BigUInt<384, 6>".to_string(),
            7 => "BigUInt<448, 7>".to_string(),
            12 => "BigUInt<768, 12>".to_string(),

[anatgstarkware]

stwo_cairo_prover/crates/prover_types/src/cpu.rs line 614 at r1 (raw file):

Previously, shaharsamocha7 wrote…

Don't we need 4,8 anymore?
Also, can we just format the expression x -> <64*x, x>?

• We don't need 4 & 8
• AFAIK there's no way to do that in rust

[shaharsamocha7]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @anatgstarkware, @DavidLevitGurevich, and @ohad-starkware)

---

stwo_cairo_prover/crates/prover_types/src/cpu.rs line 614 at r1 (raw file):

Previously, anatgstarkware (anatg) wrote…

• We don't need 4 & 8
• AFAIK there's no way to do that in rust

https://doc.rust-lang.org/std/fmt/

[anatgstarkware]

Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on @DavidLevitGurevich, @ohad-starkware, and @shaharsamocha7)

---

stwo_cairo_prover/crates/prover_types/src/cpu.rs line 614 at r1 (raw file):

Previously, shaharsamocha7 wrote…

https://doc.rust-lang.org/std/fmt/

ahhh, done, thanks