proofs/containers/lru/miss.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/u32alg.bend as A
import ../../lib/array.bend as AR
import ../../../spec/lib/common.bend as SC
import ../../../spec/containers/hash_table.bend as S
import ../../../spec/containers/lru.bend as SP
import ../../lib/u32div.bend as UD
import ../../../src/math/u64.bend as W
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/inv.bend as IV
import ../hash_table/keys.bend as K
import ./state.bend as ST
import ./basic.bend as BA
import ./bumpsh.bend as BS
import ./tfind.bend as TF
import ./unlink.bend as UL
import ./lists.bend as LS
import ../../../src/math/hash.bend as HS
import ../hash_table/probe_all.bend as PA
import ./read.bend as RD
import ./insp.bend as IP
import ./grow.bend as GW
import ./evictk.bend as EK
import ./bumpk.bend as BK
import ./walk.bend as WL
import ./linktail.bend as LT
import ../hash_table/rawins.bend as RI
import ../hash_table/grow.bend as GR
import ./ins1.bend as I1
import ../../lib/u32.bend as U
import ../hash_table/modn.bend as M
import ../../lib/nat_list.bend as NL
import ../../lib/links.bend as LK
import ../../lib/words32.bend as W32
import ../../lib/u32_tree.bend as UT