proofs/containers/lru/repl.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 ../../../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/lru.bend as LR
import ../hash_table/table.bend as TB
import ../hash_table/state.bend as HT
import ../hash_table/keys.bend as K
import ./state.bend as ST
import ./basic.bend as BA
import ./bump.bend as BU
import ./bumpsh.bend as BS
import ./touch.bend as TO
import ./touchsh.bend as TSH
import ./rmat.bend as RM
import ./gone.bend as GO
import ./unlink.bend as UL
import ./meta.bend as MT
import ./read.bend as RD
import ./hw.bend as HW
import ./elfr.bend as EF
import ./walk.bend as WL
import ./trace.bend as TR
import ./dll.bend as DL
import ./idx.bend as ID
import ../hash_table/tools.bend as TL
import ../../lib/nat_list.bend as NL
import ../../lib/words32.bend as W32
import ../../lib/u32_tree.bend as UT