proofs/containers/balanced_search_tree/vapi.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/list.bend as LL
import ../../lib/order.bend as O
import ../../../spec/lib/common.bend as SC
import ../../../spec/containers/balanced_search_tree/main.bend as S
import ../../../src/containers/balanced_search_tree.bend as M
import ./state.bend as ST
import ./mirror.bend as MI
import ./sim.bend as SM
import ./ok.bend as OK
import ./ord.bend as OR
import ./reads.bend as RD
import ./cur.bend as CU
import ./vdef.bend as VD
import ./vsp.bend as VS
import ./vnav.bend as VN
import ./vit.bend as VI
import ./vsz.bend as VZ
import ./vclr.bend as VC
import ./capi.bend as CA