proofs/containers/lru/dellink.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/array.bend as AR
import ../../../spec/lib/common.bend as SC
import ../../lib/u32div.bend as UD
import ../../lib/word.bend as WD
import ../../../src/math/hash.bend as HS
import ../../../src/containers/hash_table.bend as H
import ../../../src/containers/lru.bend as LR
import ../hash_table/table.bend as TB
import ../hash_table/buckets.bend as B
import ../hash_table/cyc.bend as CY
import ../hash_table/modn.bend as M
import ../hash_table/arr.bend as AX
import ../hash_table/inv.bend as IV
import ../hash_table/insm.bend as IM
import ../hash_table/tools.bend as TL
import ../hash_table/probe_impl.bend as PI
import ../hash_table/probe_all.bend as PA
import ../hash_table/delw.bend as DW
import ../../lib/u32.bend as UW
import ../../lib/words32.bend as W32