Type Alias BoundaryMap 

pub type BoundaryMap<A> = FxHashMap<A, BTreeSet<usize>>;

Symbolic state keyed by a frontend-independent semantic address.

N is the symbolic expression identity. It remains generic until the SLT arena itself moves into this crate. Bit boundaries discovered while constructing symbolic state.

Aliased Type

pub struct BoundaryMap<A> { /* private fields */ }