Type Definition veriwasm::lattices::calllattice::CallCheckLattice [−][src]
pub type CallCheckLattice = VariableState<CallCheckValueLattice>;
pub type CallCheckLattice = VariableState<CallCheckValueLattice>;