Type Definition gf::ai::concrete::ConcreteState

type ConcreteState<'a> = State<'a, FlatLattice<BitVec>, FlatLattice<BitVec>, ConcreteSpaceState>;

🟢 Abstract state for ConcreteInterp.