Implement more string ops in python bindings · twizmwazin/clarirs@b72d75c

Clippy Check: crates/clarirs_num/src/float.rs#L86

unused variable: `rm`

Clippy Check: crates/clarirs_num/src/bitvec.rs#L28

you are using an explicit closure for copying elements

Clippy Check: crates/clarirs_num/src/bitvec.rs#L50

struct `BitVec` has a public `len` method, but no `is_empty` method

Clippy Check: crates/clarirs_num/src/bitvec.rs#L111

called `map(..).flatten()` on `Iterator`

Clippy Check: crates/clarirs_num/src/bitvec.rs#L156

called `map(f)` on an `Option` value where `f` is a closure that returns the unit type `()`

Clippy Check: crates/clarirs_num/src/bitvec.rs#L157

suspicious use of `-` in `Add` impl

Clippy Check: crates/clarirs_num/src/bitvec.rs#L158

suspicious use of `&` in `Add` impl

Clippy Check: crates/clarirs_num/src/bitvec.rs#L235

called `map(f)` on an `Option` value where `f` is a closure that returns the unit type `()`

Clippy Check: crates/clarirs_num/src/float.rs#L46

this `impl` can be derived

Clippy Check: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `expr`

Provide feedback