Type Definition veriwasm::lattices::switchlattice::SwitchValueLattice [−][src]
pub type SwitchValueLattice = ConstLattice<SwitchValue>;
pub type SwitchValueLattice = ConstLattice<SwitchValue>;