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

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