baa 0.17.1

BitVector and Array Arithmetic
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// Copyright 2023-2024 The Regents of the University of California
// Copyright 2024 Cornell University
// released under BSD 3-Clause License
// author: Kevin Laeufer <laeufer@cornell.edu>

mod arithmetic;
mod borrowed;
mod indexed;
mod io;
mod ops;
mod owned;

pub use arithmetic::mask;
pub use borrowed::{BitVecValueMutRef, BitVecValueRef};
pub use indexed::{BitVecValueIndex, IndexToMutRef, IndexToRef, ValueInterner};
pub use io::ParseIntError;
pub use ops::{BitVecMutOps, BitVecOps};
pub use owned::BitVecValue;