Function veriwasm::ir::utils::memarg_is_stack[][src]

pub fn memarg_is_stack(memarg: &MemArg) -> bool