Used simplifier rules/spec theorems by specification

Used from specification int-basic1

• int-basic1/forward-pos is used by uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-rec-pos-01, int2bits-lslen-12, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-len-pos-pred, int2bits-len-eq, int2bits-lelen-06, int2bits-add-low, int2bits-add-high, bits2int16-03, bits2int16-01,
• int-basic1/irref is used by uint2bits-restsgn, uint2bits-len, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-lslen-12, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-abs, bits2int-zero-02, bits2int-nls,
• int-basic1/lf-01 is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-truein-01, int2bits-restsgn, int2bits-neg-03, int2bits-neg-02, int2bits-lslen-04, int2bits-less-2pot-02, int2bits-len-range, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-04, int2bits-lelen, int2bits-2pot-04, bits2int-le8-01, bits2int-le8,
• int-basic1/lf-02 is used by uint2uint-pos, uint2uint-inv, uint2bits-zero-01, uint2bits-succ, uint2bits-sgn-2pot-01, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-onein, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len, uint2bits-inj, uint2bits-expos0, uint2bits-eq, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-inj, int2bits-truein-01, int2bits-restsgn, int2bits-rec-neg, int2bits-pred-intro, int2bits-neg-03, int2bits-neg-02, int2bits-mod2pot, int2bits-lslen-04, int2bits-lslen-03, int2bits-len-range, int2bits-len-neg, int2bits-lelen-04, int2bits-lelen-03, bits2uint-not-neg-01, bits2uint-not-neg, bits2int-le8-01,
• int-basic1/lf-03 is used by uint2uint-pos, uint2bits-succ, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-pred, uint2bits-onein, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-expos0, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-truein-01, int2bits-rec-neg, int2bits-pred-intro, int2bits-neg-03, int2bits-neg-02, int2bits-mod2pot, int2bits-lslen-04, int2bits-lslen-03, int2bits-len-range, int2bits-len-neg, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen, int2bits-2pot-02, bits2uint-not-neg-01, bits2uint-not-neg, bits2int-le8-01, bits2int-le8,
• int-basic1/ls-01 is used by uint2uint-neg, uint2uint-inv-01, uint2bits-zero-01, uint2bits-truein, uint2bits-succ, uint2bits-sgn-2pot, uint2bits-sgn, uint2bits-restsgn, uint2bits-rest, uint2bits-pred, uint2bits-onein, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first-05, uint2bits-first-04, uint2bits-first-03, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos0, uint2bits-empty-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2unit-inv-rest, int2uint-neg, int2int-rest, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-inj, int2bits-restsgn, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-pred-intro, int2bits-pred, int2bits-one-bit, int2bits-neg-03, int2bits-neg-02, int2bits-mod2pot, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-10, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-04, int2bits-lslen, int2bits-less-2pot-01, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-02, int2bits-len-pos, int2bits-len-one, int2bits-len-neg-02, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-add, int2bits-lelen-04, int2bits-lelen, int2bits-first-04, int2bits-first-03, int2bits-fill-rest, int2bits-expos, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04, bits2uint-not-neg-01, bits2uint-not-neg, bits2int-nls, bits2int-le8-01,
• int-basic1/lst is used by uint2uint-pos, uint2bits-zero-01, uint2bits-second, uint2bits-restsgn, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-expos1, uint2bits-eq, uint2bits-add-low, uint2bits-add-high, int2bits-leneq-neg, int2bits-len-one, int2bits-len-mon, int2bits-add-low, int2bits-add-high,
• int-basic1/lst-01 is used by uint2bits-rec-01, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-2pot-02, uint2bits-2pot-01, int2bits-rec-2pot-neg-02, int2bits-lslen-12, int2bits-len-range, int2bits-len-mon, int2bits-eq, int2bits-2pot-04,
• int-basic1/minus-one is used by uint2bits-add-low, uint2bits-add-high, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-mod2-neg, int2bits-mod2-len, int2bits-leneq-neg,
• int-basic1/numlsf is used by uint2bits-len, uint2bits-add-high, int2int-rest-01, int2int-neg, int2int-lastn-negpos, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen, int2bits-falsein-01, int2bits-exneg, bits2int8-02, bits2int8, bits2int16-02, bits2int16, bits2int-le8,
• int-basic1/numlslsdel is used by uint2bits-add-low, uint2bits-add-high, int2bits-rest,
• int-basic1/numlslsdel-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-leneq-neg, bits2int16-03, bits2int16-01,
• int-basic1/trans is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-truein-01, int2bits-restsgn, int2bits-neg-03, int2bits-neg-02, int2bits-less-2pot-02, int2bits-len-range, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-lelen, int2bits-2pot-04, bits2int-le8-01, bits2int-le8,
• int-basic1/two-ls is used by uint2uint-inv, uint2bits-second, uint2bits-restsgn, uint2bits-len-01, uint2bits-len, uint2bits-falsein-01, uint2bits-add-low, uint2bits-add-high, int2bits-restsgn,

Used from specification int-mult

• int-mult/associativity is used by uint2bits-restsgn,
• int-mult/commutativity is used by uint2bits-restsgn, int2int-lastn-negpos, int2bits-len-neg, int2bits-len-add, int2bits-add-high,
• int-mult/dist-sub-merge is used by uint2bits-restsgn,
• int-mult/ls-pos-01 is used by uint2bits-restsgn,
• int-mult/minus-left is used by uint2bits-2pot-06, int2bits-len-pos-03,
• int-mult/modlep is used by uint2bits-restsgn,
• int-mult/modlep-01 is used by uint2bits-len-01,
• int-mult/modlep-03 is used by uint2bits-add-low,
• int-mult/modlsp-02 is used by uint2bits-restsgn, uint2bits-len-01,
• int-mult/modzero is used by int2bits-add-high,
• int-mult/modzero-03 is used by int2bits-add-low, int2bits-add-high,
• int-mult/numle-05 is used by uint2bits-restsgn,
• int-mult/numleneg is used by int2int-neg,
• int-mult/zero-gr-add-01 is used by int2bits-len-add, int2bits-add-low,
• int-mult/Mult-zero is used by uint2bits-mod2pot, uint2bits-len-01, int2int-lastn-2pot, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-01, int2bits-lslen-08, int2bits-add-low,
• int-mult/abs-eqall is used by uint2bits-restsgn, uint2bits-add-high, int2bits-2pot-04,
• int-mult/add-mult-two is used by uint2bits-add-high,
• int-mult/associativity is used by uint2uint-pos, uint2uint-inv, uint2int-rest, uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-06, uint2bits-2pot-01, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-lastn-2pot, int2bits-restsgn, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-01, int2bits-neg-03, int2bits-mod2pot, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-less-2pot-02, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-len-add, int2bits-lelen, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-05, int2bits-2pot-04, bits2uint-zeros-02, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-rec-01, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-neg, bits2uint-2pot, bits2int-zero-02, bits2int-split-01, bits2int-rec-false, bits2int-rec-03, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2bits-def,
• int-mult/commutativity is used by uint2uint-pos, uint2uint-inv, uint2int-rest, uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-06, uint2bits-2pot-01, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-lastn-2pot, int2bits-restsgn, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-01, int2bits-neg-03, int2bits-mod2pot, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-less-2pot-02, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-len-add, int2bits-lelen, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-05, int2bits-2pot-04, bits2uint-zeros-02, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-rec-02, bits2uint-rec-01, bits2uint-rec, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-neg, bits2uint-2pot, bits2int-zero-02, bits2int-split-01, bits2int-split, bits2int-rec-true, bits2int-rec-false, bits2int-rec-04, bits2int-rec-03, bits2int-rec-01, bits2int-rec, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2bits-def,
• int-mult/dist-rmerge is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, ubits2bits, int2int-neg, int2int-lastn-negpos, int2bits-len-neg, int2bits-add-high, bits2uint-split, bits2uint-inv-neg, bits2int-lasteq,
• int-mult/dist-sub-merge is used by int2int-neg, bits2int-rec-03, bits2int-lasteq,
• int-mult/eq-dist is used by uint2uint-inv, int2bits-add-low, bits2uint-split, bits2int-split-01,
• int-mult/eq-nonzero is used by int2bits-rec-neg-02,
• int-mult/eq-one is used by uint2bits-mod2pot, uint2bits-falsein-01, uint2bits-2pot-neg-mone, uint2bits-2pot-01,
• int-mult/eq-pos is used by uint2bits-restsgn, uint2bits-falsein-01, ubits2bits, int2int-neg, bits2uint-succ, bits2uint-split, bits2uint-rec-01, bits2uint-ones, bits2uint-inv-neg, bits2int-rec-false, bits2int-lasteq,
• int-mult/eq-same is used by uint2bits-restsgn, uint2bits-pred, uint2bits-2pot-neg-mone, int2int-lastn-negpos,
• int-mult/eq-same-02 is used by uint2bits-2pot-neg-mone,
• int-mult/eq-succ is used by int2int-lastn-negpos,
• int-mult/le-one is used by uint2bits-len-01, int2bits-rec-neg,
• int-mult/le-pos is used by uint2bits-mod2pot, uint2bits-len-01, uint2bits-add-high, int2int-neg,
• int-mult/le-same is used by uint2uint-pos, uint2bits-restsgn, uint2bits-pred, uint2bits-len-mon, uint2bits-inj, uint2bits-first, int2int-neg,
• int-mult/le-same-01 is used by uint2bits-mod2pot, uint2bits-div2pot-01, uint2bits-add-high, int2int-neg,
• int-mult/le-two is used by uint2bits-restsgn,
• int-mult/ls-add is used by uint2bits-restsgn, uint2bits-mod2pot-01, int2int-neg, int2bits-neg-03, int2bits-mod2pot,
• int-mult/ls-forward is used by uint2bits-restsgn,
• int-mult/ls-pos is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-add-high, int2int-neg,
• int-mult/ls-same is used by uint2bits-succ, uint2bits-restsgn, uint2bits-div2pot-01, uint2bits-add-low, int2int-neg, int2bits-neg-03, int2bits-less-2pot-02,
• int-mult/ls-same-01 is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-add-high, int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-len-range, bits2int-le8,
• int-mult/ls-same-02 is used by uint2bits-add-high, int2int-neg,
• int-mult/ls-two-02 is used by uint2bits-add-high,
• int-mult/ls-two-03 is used by uint2bits-add-high,
• int-mult/minus-left is used by uint2bits-add-high, uint2bits-2pot-06, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-len-pos-03, int2bits-len-add, int2bits-2pot-05, int2bits-2pot-04, bits2int-rec-false, bits2int-rec-03,
• int-mult/minus-one-01 is used by uint2bits-restsgn, int2int-neg,
• int-mult/mods-ls-04 is used by uint2bits-restsgn, uint2bits-add-high,
• int-mult/modzero-01 is used by uint2bits-add-high, int2int-neg, int2bits-add-low,
• int-mult/neq-two is used by uint2bits-pred, uint2bits-mod2pot, uint2bits-len-01, uint2bits-add-high, int2bits-mod2-len,
• int-mult/numabs-01 is used by uint2bits-succ, uint2bits-add-high,
• int-mult/numeq is used by int2int-rest-01,
• int-mult/numeq-03 is used by uint2int-rest, bits2int-zero-02,
• int-mult/numeq-04 is used by int2uint-neg,
• int-mult/numle is used by int2bits-lslen-08,
• int-mult/numle-01 is used by uint2bits-len-01, int2int-neg,
• int-mult/numle-05 is used by uint2bits-add-low,
• int-mult/numle-08 is used by uint2bits-restsgn, int2int-neg,
• int-mult/numle-09 is used by uint2bits-add-high, int2bits-add-high,
• int-mult/numle-12 is used by uint2bits-add-high,
• int-mult/numls is used by uint2bits-len-01, int2bits-len-eq,
• int-mult/numls-01 is used by uint2bits-mod2pot, uint2bits-add-high, int2int-neg, int2bits-lslen-08,
• int-mult/numls-02 is used by uint2bits-len-01, uint2bits-add-high, int2int-neg,
• int-mult/numls-03 is used by uint2bits-add-high,
• int-mult/numls-04 is used by uint2bits-add-high,
• int-mult/numls-08 is used by uint2bits-restsgn, uint2bits-add-high, int2int-neg, int2bits-len-range, bits2int-le8,
• int-mult/numls-09 is used by uint2bits-restsgn, int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-len-range, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-lelen, bits2int-le8-01,
• int-mult/numls-12 is used by uint2bits-add-high, int2bits-len-neg,
• int-mult/numls-13 is used by uint2bits-add-low, uint2bits-add-high, int2bits-len-neg,
• int-mult/numsub is used by uint2bits-add-high, int2bits-add-high,
• int-mult/numsucc is used by uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-neg-03, int2bits-len-neg,
• int-mult/one is used by uint2int-rest, uint2bits-restsgn, uint2bits-len-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-01, int2uint-neg, int2int-rest-01, int2int-neg, int2bits-restsgn, int2bits-rec-2pot-neg-01, int2bits-lslen-08, int2bits-len-range, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-lelen, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04, bits2uint-split, bits2uint-2pot, bits2int-zero-02, bits2int-split-01, bits2int-le8-01, bits2int-le8,
• int-mult/one-01 is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-2pot-neg-mone, uint2bits-2pot-01, int2bits-add-high,
• int-mult/pred-rmerge is used by uint2bits-restsgn, uint2bits-add-high, int2int-neg, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-len-range, int2bits-add-high,
• int-mult/succ-rmerge is used by uint2uint-inv, uint2bits-succ, uint2bits-restsgn, uint2bits-falsein-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, ubits2bits, int2int-lastn-posneg, int2bits-rec-2pot-neg-01, int2bits-add-low, bits2uint-succ, bits2uint-ones, bits2uint-inv-neg, bits2int-rec-03, bits2int-lasteq,
• int-mult/two-mone is used by uint2bits-add-high, int2bits-rec-neg-02, int2bits-rec-neg, int2bits-mod2-neg, int2bits-mod2-len, bits2uint-zeros, bits2uint-not-zero, bits2uint-not-neg,
• int-mult/two-zero is used by uint2bits-succ, uint2bits-mod2pot, uint2bits-len-01, uint2bits-falsein-01, uint2bits-add-high, int2int-neg, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-mod2-len, bits2uint-zeros, bits2uint-not-zero, bits2uint-not-neg, bits2int-rec-03, bits2int-lasteq,
• int-mult/zero-eq is used by uint2bits-mod2pot, int2bits-len-eq, int2bits-add-low, bits2uint-zeros-02,
• int-mult/zero-ge is used by uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-falsein-01, uint2bits-div2pot-01, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-len-pos-02, int2bits-len-neg, int2bits-add-high, int2bits-2pot-04, bits2bits-def,
• int-mult/zero-ge-01 is used by int2bits-lslen-08, int2bits-2pot-04,
• int-mult/zero-ge-add is used by uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-01, uint2bits-falsein-01, uint2bits-add-low, uint2bits-add-high, int2int-lastn-pospos, int2int-lastn-posneg, int2bits-rec-2pot-pos, int2bits-mod2pot, int2bits-mod2-len,
• int-mult/zero-ge-add-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-len-neg,
• int-mult/zero-gr is used by uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-01, ubits2ubits-def, int2int-neg, int2bits-restsgn, int2bits-rec-2pot-pos, int2bits-neg-03, int2bits-mod2pot, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-lelen, int2bits-2pot-neg-mone, bits2int-le8-01, bits2int-le8,
• int-mult/zero-gr-01 is used by int2bits-len-eq,
• int-mult/zero-gr-03 is used by uint2bits-restsgn,
• int-mult/zero-le is used by uint2bits-len-01, uint2bits-add-high, int2int-neg, int2bits-rec-neg, bits2uint-not-neg,
• int-mult/zero-le-03 is used by int2bits-add-low,
• int-mult/zero-ls is used by uint2bits-add-high, int2int-neg, int2int-lastn-negpos, int2bits-rec-neg-02, int2bits-rec-neg, int2bits-2pot-04,
• int-mult/zero-ls-01 is used by int2bits-2pot-04,

Used from specification nat

• nat/add-01 is used by uint2bits-mod2pot, uint2bits-len-add, uint2bits-div2pot, uint2bits-add-high, uint2bits-2pot-05, int2bits-rec-2pot-neg-02,
• nat/add-num-01 is used by int2bits-len-neg,
• nat/add-num-03 is used by int2bits-lslen-12, int2bits-lslen-07, int2bits-leneq-pos, int2bits-lelen-05,
• nat/add-num-04 is used by uint2bits-len-01, uint2bits-len, int2bits-leneq-pos, int2bits-lelen-06,
• nat/anti is used by uint2bits-2potrec, int2bits-lelen-06, int2bits-lelen-05,
• nat/cancel-01 is used by int2bits-rec-2pot-neg-02,
• nat/elim-pred-c is used by int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, bits2int-range, bits2int-nls-01, bits2int-nle,
• nat/elim-sub is used by int2bits-leneq-pos, int2bits-lelen-06, int2bits-lelen-05,
• nat/eq is used by int2bits-len-pos-01,
• nat/eq-02 is used by uint2bits-2pot-neg-mone,
• nat/eqle-one is used by bits2int-nls-01, bits2int-nle,
• nat/fle is used by uint2bits-mod2pot, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-add-high-01, uint2bits-2potrec, int2bits-rec-2pot-neg-02, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-pos-01, int2bits-lelen-06, bits2uint-nle-01, bits2int-nle,
• nat/fle-01 is used by uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-add-high-01, uint2bits-2potrec, int2bits-lslen, bits2uint-nle-01, bits2int-nle, bits2int-le8-01, bits2int-le8,
• nat/l-num-01 is used by uint2bits-len-max, int2bits-lslen-07, int2bits-len-range,
• nat/l-num-04 is used by int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, bits2int-le8-01, bits2int-le8,
• nat/l-num-05 is used by uint2bits-len-mon, int2bits-lelen-06, int2bits-lelen-05,
• nat/le is used by int2bits-less-2pot-01, int2bits-less-2pot,
• nat/le-add is used by int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, int2bits-lelen-05,
• nat/le-ls-simp is used by int2bits-lelen-06, bits2int-nls-02,
• nat/le-num-02 is used by uint2bits-len-min, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, int2bits-lelen-05, bits2int-nls,
• nat/le-num-04 is used by int2bits-leneq-neg, int2bits-lelen-06,
• nat/lels is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-2potrec, int2bits-rec-2pot-neg-02, int2bits-lslen-12, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-03, int2bits-lslen, int2bits-len-pos-01, bits2int8-01, bits2int8, bits2int-nls,
• nat/lels-01 is used by uint2bits-mod2pot, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-max, uint2bits-len-add, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-2potrec, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-lslen-12, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-mon, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen, int2bits-add-low, bits2int8-03, bits2int8-02, bits2int8-01, bits2int8, bits2int-zero-02, bits2int-nls-02, bits2int-nls, bits2int-le8-01,
• nat/lels-02 is used by uint2bits-2potrec, int2bits-rec-2pot-neg-02, int2bits-lslen-06, int2bits-lslen-05, int2bits-leneq-pos, int2bits-lelen-06,
• nat/lels-03 is used by uint2bits-2potrec, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, bits2int-le8-01, bits2int-le8,
• nat/lep is used by uint2bits-len-min, int2bits-lelen-05,
• nat/lep-01 is used by int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01,
• nat/lep-02 is used by uint2bits-restsgn, uint2bits-2potrec, int2bits-rec-2pot-neg-02,
• nat/ler is used by int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-leneq-pos, int2bits-leneq-neg, bits2int-nls,
• nat/les is used by int2bits-len-pos-01,
• nat/let is used by int2bits-leneq-neg, int2bits-lelen-06, int2bits-lelen-05,
• nat/lez is used by int2bits-rec-2pot-neg-02, int2bits-lslen,
• nat/lez-01 is used by int2bits-lslen-06, int2bits-lslen-05,
• nat/ls is used by bits2int-nls-02,
• nat/ls-01 is used by uint2bits-mod2pot,
• nat/ls-02 is used by int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen,
• nat/ls-03 is used by bits2int-nls-02,
• nat/ls-le-simp is used by int2bits-rec-2pot-neg-02, int2bits-lelen-06,
• nat/not-zero is used by int2bits-leneq-neg, int2bits-lelen-06, int2bits-lelen-05,
• nat/one-02 is used by int2int-lastn-2pot,
• nat/pred-03 is used by uint2bits-mod2pot, uint2bits-len-add, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-05, int2bits-rec-2pot-neg-02, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, bits2int-zeros, bits2int-mklist-06, bits2int-mklist-05,
• nat/sub-ls is used by int2bits-lelen-06,
• nat/succ-01 is used by uint2bits-len-min, int2bits-rec-2pot-neg-02, int2bits-lslen, int2bits-less-2pot, bits2int-nls-01, bits2int-nls, bits2int-nle,
• nat/zero is used by int2bits-rec-2pot-neg-02,
• nat/zero-01 is used by int2bits-leneq-pos, int2bits-lelen-06,
• nat/zero-02 is used by int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02,

Used from specification int-pot

• int-pot/Pot-pos is used by uint2int-rest, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-2pot-neg-mone, int2bits-add-low, bits2uint-inv-neg,
• int-pot/add-eq2pot-01 is used by uint2bits-restsgn,
• int-pot/div2 is used by uint2bits-2pot-02, uint2bits-2pot,
• int-pot/div2-2pot-01 is used by uint2bits-div2pot,
• int-pot/div2-2pot-02 is used by uint2bits-2pot-01,
• int-pot/eq-two is used by uint2bits-add-high,
• int-pot/exin2pot is used by uint2bits-len-min, uint2bits-len-max, int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-neg-01, int2bits-len-eq, int2bits-lelen, bits2int-le8-01,
• int-pot/exin2pot-neg is used by int2bits-lslen-08, int2bits-lslen-07, int2bits-len-eq, bits2int-le8,
• int-pot/le-2pot is used by uint2bits-len,
• int-pot/le-2pot-01 is used by uint2bits-mod2pot,
• int-pot/le-pos is used by uint2bits-restsgn,
• int-pot/ls-mult-2pot is used by uint2bits-restsgn,
• int-pot/ls-pos is used by int2bits-lelen, bits2int-le8,
• int-pot/ls-pos-2pot is used by bits2uint-nle-01, bits2int-nls-01,
• int-pot/pot-dist-pos is used by uint2bits-restsgn, uint2bits-add-high, int2int-rest-01, int2int-neg, int2bits-lslen-08, int2bits-len-eq, int2bits-add-low, int2bits-add-high,
• int-pot/succ is used by uint2uint-inv, uint2bits-restsgn, uint2bits-len-01, uint2bits-falsein-01, uint2bits-add-low, uint2bits-add-high, ubits2bits, int2uint-neg, int2int-neg, int2bits-neg-03, int2bits-lslen-07, int2bits-less-2pot-02, int2bits-len-neg, int2bits-lelen, bits2uint-split, bits2uint-ones, bits2int-zero-02,
• int-pot/two-le is used by uint2bits-add-low-01, int2bits-len-neg, int2bits-add-low, bits2int-nle, bits2int-le8-01,
• int-pot/two-minus is used by uint2bits-falsein-01,
• int-pot/two-mod is used by uint2bits-2pot-02, uint2bits-2pot,
• int-pot/two-mod-01 is used by uint2bits-falsein-01, uint2bits-2pot-02,
• int-pot/2pot-leone is used by uint2bits-mod2pot, uint2bits-add-high-02, uint2bits-add-high, int2bits-lelen-04,
• int-pot/abs-2pot is used by uint2bits-2pot-neg-mone, int2bits-rec-2pot-neg-02, int2bits-less-2pot-01, int2bits-2pot-04, int2bits-2pot-01, bits2int-nls,
• int-pot/eq-one is used by uint2bits-restsgn, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-restsgn, int2bits-lslen-04, int2bits-falsein-02,
• int-pot/eq2 is used by uint2bits-restsgn, uint2bits-falsein-01, uint2bits-add-high, uint2bits-2pot-02,
• int-pot/eqone is used by uint2bits-2pot,
• int-pot/grz is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-neg-03, int2bits-lslen-05, int2bits-less-2pot-02, int2bits-len-neg, int2bits-2pot-02, int2bits-2pot-01,
• int-pot/ls-pos is used by uint2bits-restsgn, uint2bits-len-min, uint2bits-len-max, uint2bits-len, int2int-neg, int2bits-restsgn, int2bits-len-range, int2bits-len-neg, int2bits-lelen,
• int-pot/ls-pos-2pot is used by int2bits-lslen-12,
• int-pot/ls-pos-2pot-01 is used by uint2bits-add-high, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-add-high, bits2int-nls-02,
• int-pot/mod2-2pot-03 is used by uint2bits-2pot-01,
• int-pot/mod2-2pot-05 is used by uint2bits-mod2pot,
• int-pot/pot2-add is used by uint2bits-add-high,
• int-pot/pot2-div2 is used by uint2bits-add-low, uint2bits-add-high,
• int-pot/pot2-ls-pred is used by uint2bits-add-high,
• int-pot/pot2-ls-pred-01 is used by uint2bits-add-high,
• int-pot/pot2-mod2-zero is used by uint2bits-add-low, uint2bits-add-high,
• int-pot/pot2-pos is used by uint2bits-mod2pot-01, uint2bits-len-pos, uint2bits-len-add, uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-lslen-12, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-len-pos-pred, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone,
• int-pot/pot2-pos-01 is used by uint2bits-falsein-01, uint2bits-add-high, int2bits-rec-2pot-neg-03, int2bits-lslen-12, int2bits-leneq-pos, int2bits-add-low, int2bits-add-high,
• int-pot/pot2-pos-02 is used by uint2bits-add-high,
• int-pot/pot2-pos-03 is used by uint2bits-add-high,
• int-pot/pot2-pos-04 is used by uint2bits-add-high,
• int-pot/pot2-suble is used by uint2bits-add-high,
• int-pot/pot2-subls is used by uint2bits-add-high,
• int-pot/pot2-succ-01 is used by int2bits-add-low, int2bits-add-high,
• int-pot/succ is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-add-high, int2int-rest-01, int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-lelen, int2bits-add-high, bits2int-le8-01, bits2int-le8,
• int-pot/two-le is used by uint2bits-len-01, int2int-neg, int2bits-restsgn, int2bits-len-range, int2bits-len-eq,
• int-pot/two-leone is used by uint2bits-restsgn, uint2bits-len, uint2bits-div2pot, uint2bits-add-low, uint2bits-2pot-02, int2bits-lslen-04,
• int-pot/two-lez is used by uint2bits-len-min, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, int2bits-lslen-08, int2bits-lelen, int2bits-2pot-04,
• int-pot/two-lez-01 is used by int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-lelen,
• int-pot/two-ls is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, bits2int-le8-01,
• int-pot/two-lsz is used by uint2bits-truein, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2potrec, int2int-neg, int2bits-rec-2pot-pos, int2bits-less-2pot, int2bits-len-pos-02, int2bits-len-pos-01, int2bits-len-eq, int2bits-len-add, int2bits-lelen-07, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, int2bits-2pot, bits2uint-nle, bits2int-range, bits2int-nls,
• int-pot/two-minus is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-falsein-01, uint2bits-add-low, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-eq, int2bits-add-low, int2bits-add-high,
• int-pot/two-mod is used by uint2bits-2pot-02,
• int-pot/two-zero is used by uint2bits-truein, uint2bits-mod2pot, uint2bits-2potrec, int2int-neg, int2bits-truein-01, int2bits-restsgn, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-len-range, int2bits-len-eq, int2bits-len-abs,
• int-pot/two-zero-01 is used by uint2bits-restsgn, int2int-lastn-negpos, int2int-lastn-2pot, bits2uint-zeros-02,
• int-pot/zero is used by uint2bits-add-high, int2bits-rec-2pot-neg-01, int2bits-add-low,

Used from specification int-abs

• int-abs/Abs-neg is used by uint2bits-add-low, uint2bits-add-high, int2bits-mod2-neg, int2bits-less-2pot-01, int2bits-len-range, int2bits-len-pos-01, int2bits-len-mon, int2bits-len-abs-01, bits2int-nls,
• int-abs/elim-sub is used by int2uint-inv-01,
• int-abs/forward-lele is used by int2bits-add-low,
• int-abs/forward-lels is used by int2bits-add-low,
• int-abs/lels-01 is used by int2bits-lslen-10,
• int-abs/lels-02 is used by int2bits-lelen-07,
• int-abs/lstwo is used by int2bits-mod2-len,
• int-abs/minus-01 is used by int2bits-lslen-09, int2bits-len-neg-02,
• int-abs/minus-neg is used by int2bits-rec-2pot-neg-02,
• int-abs/neg-01 is used by bits2int-le8,
• int-abs/numadd-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-falsein-02,
• int-abs/numle-03 is used by int2bits-rec-2pot-neg-02,
• int-abs/numlef is used by uint2bits-add-high,
• int-abs/pls-01 is used by bits2int-le8,
• int-abs/rew-eqzero is used by uint2bits-add-high, int2bits-len-eq-01,
• int-abs/rew-eqzero-01 is used by uint2bits-add-high,
• int-abs/sub-add-01 is used by int2bits-add-low,
• int-abs/zero-gels-03 is used by uint2bits-add-low-01,
• int-abs/Abs-pos is used by uint2bits-add-low, uint2bits-add-high, int2bits-mod2-neg, int2bits-less-2pot-01, int2bits-len-range, int2bits-len-pos-01, int2bits-len-mon, int2bits-len-abs-01,
• int-abs/Sub-def is used by uint2uint-inv-01, uint2bits-restsgn, uint2bits-len, uint2bits-falsein-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-05, uint2bits-2pot-04, int2unit-inv-rest, int2uint-pos, int2int-lastn-negpos, int2bits-rec-neg-03, int2bits-rec-2pot-neg-02, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2int-split-01, bits2int-rec-03, bits2int-011x,
• int-abs/abs is used by uint2bits-restsgn, uint2bits-pred,
• int-abs/abs-03 is used by int2bits-len-mon,
• int-abs/abs-06 is used by int2bits-len-range, int2bits-len-mon,
• int-abs/abs-08 is used by uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2uint-neg, int2int-lastn-negneg, int2int-inj, int2bits-truetrue-01, int2bits-truetrue, int2bits-truein, int2bits-true, int2bits-sgn-02, int2bits-sgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-not-empty, int2bits-neg-num, int2bits-neg-03, int2bits-mod2-len, int2bits-less-2pot-01, int2bits-len-pos-01, int2bits-len-neg, int2bits-len-add, int2bits-first, int2bits-falsein-01, int2bits-exneg, int2bits-eq, int2bits-bits2unit-01, int2bits-add-low, int2bits-add-high, int2bits-2pot-04,
• int-abs/abs-12 is used by int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-eq,
• int-abs/abs-16 is used by uint2uint-pos, uint2uint-inv, uint2bits-succ, uint2bits-second, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-neg-01, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-01, int2bits-add-low, int2bits-add-high, bits2bits-def,
• int-abs/abs-17 is used by int2bits-len-pos-01,
• int-abs/abs-neg is used by uint2bits-add-high, int2bits-neg-01, int2bits-2pot-01, bits2int-nls, bits2bits-def,
• int-abs/absle is used by uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-2potrec, uint2bits-2pot-01, int2int-neg, int2int-lastn-negpos, int2bits-restsgn, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-eq, bits2int-nls,
• int-abs/anti is used by uint2uint-pos, uint2bits-succ, uint2bits-sgn-false, uint2bits-sgn-01, uint2bits-restsgn, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-empty, uint2bits-div2pot-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-01, uint2bits-2pot, int2int-neg, int2int-lastn-negpos, int2bits-sgn, int2bits-restsgn, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-pred-intro, int2bits-ones, int2bits-neg-03, int2bits-mod2pot, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-04, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-neg, int2bits-len-eq, int2bits-len-abs, int2bits-lelen-04, int2bits-falsein-02, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-03, int2bits-2pot-02, bits2int-le8-01,
• int-abs/bet is used by uint2bits-sgn-02, uint2bits-restsgn, uint2bits-pred, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-len-one, int2bits-add-high,
• int-abs/bet-01 is used by uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, int2bits-lslen-04,
• int-abs/elim-sub is used by uint2bits-restsgn, uint2bits-pred-intro, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2unit-inv-rest, int2int-neg, int2bits-neg-03, int2bits-lslen, int2bits-less-2pot-02, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen,
• int-abs/forward-le is used by uint2bits-add-high,
• int-abs/forward-le-01 is used by uint2bits-truein, uint2bits-mod2pot-01, uint2bits-len-pos, uint2bits-len-add, uint2bits-falsein-01, uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2uint-pos-01, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-pos-suc, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-lelen-07, int2bits-lelen-05, int2bits-leading-sgn, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-05, bits2int16-01, bits2int16, bits2int-nls-02,
• int-abs/forward-le-02 is used by uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2bits-truetrue-01, int2bits-truetrue, int2bits-true, int2bits-sgn-02, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-one-bit, int2bits-neg-04, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-10, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-pos-03, int2bits-len-neg-02, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-07, int2bits-leading-sgn, int2bits-fill-rest, int2bits-falsein-02, int2bits-bits2unit-01, int2bits-bits2unit, int2bits-add-low, int2bits-add-high, bits2uint-zero-01, bits2int-nls-02,
• int-abs/forward-le-03 is used by int2bits-add-low, int2bits-add-high,
• int-abs/forward-le-04 is used by uint2bits-falsein-01, uint2bits-add-high, int2bits-rec-neg-03, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-08, int2bits-len-mod2pot, int2bits-len-add, int2bits-lelen-07, int2bits-add-low, int2bits-add-high,
• int-abs/forward-le-05 is used by uint2bits-truein, uint2bits-sgn-02, uint2bits-mod2pot-01, uint2bits-len-pos, uint2bits-len-add, uint2bits-falsein-01, uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-rec-pos-01, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-one-bit, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-pos-pred, int2bits-len-pos-02, int2bits-len-one, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-06, int2bits-fill-rest, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-256-neg-mone, bits2int16-03, bits2int16-01,
• int-abs/forward-lele is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot, int2int-neg, int2int-lastn-negpos, int2bits-restsgn, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg, bits2int-nls, bits2int-nle, bits2int-le8-01,
• int-abs/forward-lels is used by uint2bits-restsgn, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot, int2int-neg, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-restsgn, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-neg-03, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-len, int2bits-less-2pot-02, int2bits-leneq-pos, int2bits-len-range, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-lelen, bits2uint-nle-01, bits2int-le8-01,
• int-abs/forward-lsle is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-06, int2int-neg, int2int-lastn-negpos, int2bits-restsgn, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-mod2pot, int2bits-lslen-04, int2bits-lslen-03, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen, int2bits-2pot-04, bits2int16, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-le8-01, bits2int-le8,
• int-abs/lels is used by uint2uint-pos, uint2uint-inv, uint2int-invsucc, uint2bits-zero-01, uint2bits-succ, uint2bits-sgn-false, uint2bits-sgn-2pot-01, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-pred, uint2bits-onein-01, uint2bits-onein, uint2bits-not-one, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-expos0, uint2bits-eq, uint2bits-empty, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-06, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-true, int2bits-sgn-02, int2bits-sgn, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg-01, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-pred-intro, int2bits-pred, int2bits-ones, int2bits-one-bit, int2bits-neg-04, int2bits-neg-03, int2bits-neg-01, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-one, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-01, int2bits-lelen, int2bits-leading-sgn, int2bits-first-02, int2bits-first, int2bits-fillsgn, int2bits-fillfirst, int2bits-fill-rest, int2bits-falsein-02, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04, int2bits-2pot-03, int2bits-2pot-02, int2bits-256-neg-mone, bits2uint-nle-01, bits2uint-ls, bits2int-range, bits2int-nls, bits2int-lez, bits2int-le8-01, bits2int-le8, bits2bits-def,
• int-abs/lels-01 is used by uint2uint-pos, uint2uint-neg, uint2uint-inv-01, uint2bits-zero-01, uint2bits-truein, uint2bits-succ-intro, uint2bits-succ, uint2bits-sgn-false, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-rest, uint2bits-pred, uint2bits-onein, uint2bits-not-one, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first-05, uint2bits-first-04, uint2bits-first-03, uint2bits-first-01, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-expos0, uint2bits-eq, uint2bits-empty-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-06, uint2bits-2pot-05, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2unit-inv-rest, int2uint-neg, int2int-rest, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-truetrue-01, int2bits-truetrue, int2bits-truein-01, int2bits-truein, int2bits-true, int2bits-sgn-02, int2bits-sgn, int2bits-restsgn, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-pred-intro, int2bits-pred, int2bits-ones, int2bits-not-empty, int2bits-neg-03, int2bits-neg-02, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-lslen-02, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-one, int2bits-len-neg-02, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen, int2bits-leading-sgn, int2bits-first-04, int2bits-first-03, int2bits-fillsgn, int2bits-fillfirst, int2bits-fill-rest, int2bits-falsein-02, int2bits-expos, int2bits-eq, int2bits-bits2unit-01, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-05, int2bits-2pot-04, int2bits-2pot-03, int2bits-2pot-02, int2bits-2pot-01, int2bits-2pot, bits2uint-zero-01, bits2uint-not-neg-01, bits2uint-not-neg, bits2uint-nle, bits2int-range, bits2int-nls, bits2int-le8-01, bits2int-le8, bits2int-ge-zero, bits2bits-def,
• int-abs/lels-02 is used by uint2uint-pos, uint2bits-zero-01, uint2bits-truein, uint2bits-succ, uint2bits-restsgn, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-empty, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-05, uint2bits-2pot, int2int-lastn-negneg, int2bits-truein-01, int2bits-truein, int2bits-sgn-02, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-one-bit, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-04, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-one, int2bits-len-mon, int2bits-len-eq, int2bits-len-abs, int2bits-lelen-04, int2bits-inv-first, int2bits-first-04, int2bits-eq, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, bits2int-le8-01, bits2int-le8,
• int-abs/lels-03 is used by uint2uint-inv, uint2int-invsucc, uint2bits-sgn-2pot-01, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-rec-01, uint2bits-onein-01, uint2bits-onein, uint2bits-mod2pot-01, uint2bits-len-pos, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-falsein-01, uint2bits-expos0, uint2bits-eq, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-06, uint2bits-2pot-02, uint2bits-2pot-01, int2uint-neg, int2int-neg, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-restsgn, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg-01, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-pred, int2bits-neg-04, int2bits-neg-03, int2bits-neg-01, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-neg, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-03, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-01, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-05, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen, int2bits-first, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-256-neg-mone, bits2int16-02, bits2int16, bits2int-nls, bits2int-le8-01, bits2int-le8,
• int-abs/lels-04 is used by uint2bits-succ-intro, uint2bits-sgn-false, uint2bits-sgn-2pot-01, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-first-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-06, uint2bits-2pot-05, uint2bits-2pot-01, uint2bits-2pot, int2uint-pos, int2uint-fill, int2int-neg, int2int-inj, int2bits-restsgn, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-03, int2bits-lslen-02, int2bits-lslen, int2bits-less-2pot, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-add, int2bits-len-abs, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-01, int2bits-lelen, int2bits-leading-sgn, int2bits-fillfirst, int2bits-eq, int2bits-add-low, int2bits-2pot-04, int2bits-2pot-03, int2bits-2pot-02, int2bits-2pot-01, int2bits-2pot, bits2uint-nle, bits2int-range, bits2int-le8,
• int-abs/lenls is used by uint2bits-falsein-01, int2bits-leneq-neg, int2bits-len-eq, int2bits-lelen-07, int2bits-add-high, int2bits-2pot-05,
• int-abs/leone is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-05, int2bits-restsgn, int2bits-pred-intro, int2bits-pred, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-lelen-06, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-02,
• int-abs/lep is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-restsgn, int2bits-len-neg, int2bits-len-eq,
• int-abs/lep-01 is used by uint2bits-restsgn, uint2bits-add-low-01, int2int-neg, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-len-range, int2bits-add-low,
• int-abs/lep-02 is used by uint2bits-restsgn, uint2bits-add-low-01, uint2bits-add-high, int2int-neg, int2bits-len-range, int2bits-add-low, bits2int-nle,
• int-abs/ler is used by uint2bits-restsgn, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-add-high, uint2bits-2potrec, int2bits-restsgn, int2bits-lslen-07, int2bits-len-pos-01, int2bits-len-neg,
• int-abs/les is used by uint2bits-restsgn, uint2bits-mod2pot, int2bits-lslen-07, int2bits-len-neg,
• int-abs/lsone is used by uint2bits-restsgn, uint2bits-rec-01, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, bits2int-le8,
• int-abs/lstwo is used by uint2bits-len-01, uint2bits-add-high,
• int-abs/minus-02 is used by uint2bits-add-low, uint2bits-add-high, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-add-low, int2bits-add-high,
• int-abs/minus-add is used by uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high, int2bits-rec-neg-03, int2bits-mod2-len, int2bits-leneq-pos, int2bits-leneq-neg,
• int-abs/minus-ass is used by int2bits-rec-neg-03,
• int-abs/minus-sub is used by uint2bits-add-high, int2bits-rec-2pot-neg-02, int2bits-add-low, int2bits-add-high,
• int-abs/mone-01 is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-neg, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen, int2bits-len-neg, int2bits-lelen-04, int2bits-lelen, bits2uint-inv-pos, bits2int-split-01, bits2int-lasteq, bits2int-inv,
• int-abs/mone-05 is used by int2bits-len-range, int2bits-len-neg-01, int2bits-len-mon, bits2uint-not-neg, bits2int-range,
• int-abs/mone-06 is used by uint2bits-succ-intro, uint2bits-succ, uint2bits-restsgn, uint2bits-pred-intro, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-04, uint2bits-2pot-01, uint2bits-2pot, int2bits-lslen-03, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-lelen-03, int2bits-add-high, int2bits-2pot-03, bits2uint-inv-neg, bits2int-le8, bits2bits-def,
• int-abs/mone-08 is used by uint2bits-len-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, int2int-rest-01, int2int-lastn-negneg, int2bits-true, int2bits-sgn-02, int2bits-rest, int2bits-ones, int2bits-neg-03, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-leneq-neg, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-lelen-04, int2bits-lelen-03, int2bits-fill-rest, int2bits-falsein-02, int2bits-exneg, int2bits-add-low, int2bits-add-high, bits2int-le8,
• int-abs/neg is used by uint2int-invsucc, uint2bits-truein, uint2bits-onein-01, uint2bits-2pot-06, int2uint-neg, int2int-neg, int2int-inj, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-lslen-03, int2bits-len-pos-03, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-add, int2bits-lelen-03, int2bits-first, int2bits-add-low,
• int-abs/neg-01 is used by int2bits-lslen-08,
• int-abs/neg-02 is used by uint2int-invsucc, uint2bits-add-high, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-len-abs, int2bits-lelen-07, bits2int-nls,
• int-abs/neg-03 is used by uint2uint-neg, uint2bits-truein, uint2bits-add-high, int2uint-neg, int2int-neg, int2int-inj, int2bits-truein-01, int2bits-lslen-08, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg, int2bits-len-abs, int2bits-lelen-07, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01,
• int-abs/neg-05 is used by uint2bits-add-high, int2int-neg, int2bits-neg-01, int2bits-lslen-08, int2bits-len-range, int2bits-len-neg, int2bits-len-abs, int2bits-lelen-07, int2bits-add-low, int2bits-2pot-01, bits2int-nls, bits2bits-def,
• int-abs/neg-06 is used by uint2bits-add-low, uint2bits-add-high, int2bits-mod2-neg, int2bits-less-2pot-01, int2bits-len-range, int2bits-len-pos-01, int2bits-len-mon, int2bits-len-abs-01, bits2int-nls,
• int-abs/neg-07 is used by uint2bits-restsgn, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2int-neg, int2bits-true, int2bits-sgn-02, int2bits-rest, int2bits-ones, int2bits-lslen-08, int2bits-lslen-07, int2bits-less-2pot-01, int2bits-leneq-neg, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-eq, int2bits-exneg, int2bits-add-high, bits2int-le8,
• int-abs/neg-10 is used by uint2bits-truein, uint2bits-add-high, int2bits-truein-01, int2bits-len-range, int2bits-add-low, int2bits-2pot-05, bits2int-zero-01,
• int-abs/neg-11 is used by int2bits-len-add,
• int-abs/neg-12 is used by int2uint-inv-01, int2uint-inv, int2bits-len-add, int2bits-len-abs, int2bits-add-low, int2bits-2pot-05, bits2int-rec-false, bits2int-mklist-01, bits2int-2pot,
• int-abs/neg-13 is used by uint2bits-restsgn, uint2bits-add-high, int2int-neg, int2int-lastn-negneg, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-03, int2bits-len-range, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-add, int2bits-lelen-03, int2bits-fill-rest, int2bits-add-low, int2bits-add-high, bits2int-le8,
• int-abs/neg-15 is used by uint2int-rest, uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, ubits2bits, int2unit-inv-rest, int2uint-pos, int2int-neg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-07, int2bits-add-low, int2bits-add-high, bits2uint-inv-pos, bits2uint-inv-neg, bits2int-split-01, bits2int-sign, bits2int-rec-03, bits2int-rec-01, bits2int-range, bits2int-ones-02, bits2int-nls, bits2int-lasteq, bits2int-inv,
• int-abs/negeq is used by uint2uint-neg, uint2bits-truein, uint2bits-add-low, uint2bits-add-high, int2uint-neg, int2uint-inv, int2int-neg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-truein-01, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-04, int2bits-neg-03, int2bits-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-04, int2bits-leneq-neg, int2bits-len-range, int2bits-len-neg-02, int2bits-len-neg, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-04, int2bits-falsein-01, int2bits-add-low, bits2uint-inv-pos, bits2int-zeros-01, bits2int-split-01, bits2int-sign, bits2int-rec-03, bits2int-rec-01, bits2int-ones-02, bits2int-ones-01, bits2int-neg-1bit-01, bits2int-neg-1bit, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-lasteq, bits2int-inv,
• int-abs/negle-07 is used by uint2uint-neg, uint2bits-restsgn, uint2bits-first-05, uint2bits-first-04, uint2bits-empty-01, int2uint-neg, int2int-neg, int2int-inj, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-neg-03, int2bits-neg-02, int2bits-len-range, int2bits-len-neg-02, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-add, int2bits-falsein-01, int2bits-add-high, bits2int-range, bits2int-nls, bits2int-first,
• int-abs/negle-13 is used by uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2int-neg, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-eq, int2bits-add-low, int2bits-add-high, bits2int16-01, bits2int16, bits2int-range, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-le8,
• int-abs/numadd-01 is used by uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-05, uint2bits-2pot-02, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rest, int2bits-rec-neg, int2bits-neg-03, int2bits-mone, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-falsein-01, bits2uint-zeros, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-pos, bits2int-split-01, bits2int-rec-03, bits2int-rec-01, bits2int-lasteq, bits2int-inv, bits2int-first,
• int-abs/numle-01 is used by int2bits-lelen,
• int-abs/numle-02 is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2int-neg, int2bits-succ-intro, int2bits-succ, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-suc, int2bits-len-neg, int2bits-len-mon, int2bits-len-eq, int2bits-lelen, int2bits-add-high, bits2int16-01, bits2int16, bits2int-le8,
• int-abs/numle-03 is used by int2bits-rest, int2bits-len-range, int2bits-len-neg-01, int2bits-len-mon, bits2uint-not-neg, bits2int-range,
• int-abs/numlef is used by int2int-neg, int2bits-lslen-04, int2bits-len-neg, int2bits-lelen-04,
• int-abs/numleledel is used by uint2bits-add-high,
• int-abs/numleledel-01 is used by uint2bits-succ, uint2bits-falsein, uint2bits-add-low, uint2bits-add-high, int2bits-succ-intro, int2bits-succ, int2bits-rec-pos, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-pos-suc, int2bits-len-eq, int2bits-lelen,
• int-abs/numlelsdel is used by int2bits-mod256,
• int-abs/numlelsdel-01 is used by uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, int2bits-add-high,
• int-abs/numls-01 is used by int2int-neg, int2bits-lelen,
• int-abs/numls-02 is used by uint2int-rest, uint2bits-succ-intro, uint2bits-succ, uint2bits-restsgn, uint2bits-pred-intro, uint2bits-pred, uint2bits-mod2pot, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2int-neg, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-07, int2bits-lslen-03, int2bits-leneq-neg, int2bits-len-range, int2bits-len-neg-01, int2bits-len-neg, int2bits-lelen-03, int2bits-add-high, int2bits-2pot-03, bits2uint-inv-neg, bits2int-le8, bits2bits-def,
• int-abs/numls-03 is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, int2int-neg, int2bits-true, int2bits-sgn-02, int2bits-rest, int2bits-rec-neg, int2bits-ones, int2bits-lslen-07, int2bits-lslen-03, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-03, int2bits-exneg, int2bits-2pot-04, bits2int-le8,
• int-abs/numlsf-01 is used by uint2bits-restsgn, uint2bits-pred, uint2bits-pos-num, uint2bits-mod2pot, uint2bits-len-min, uint2bits-len-max, uint2bits-len, uint2bits-falsein, uint2bits-expos1, uint2bits-div2pot-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-02, int2int-neg, int2int-lastn-negpos, int2bits-restsgn, int2bits-rec-pos, int2bits-neg-03, int2bits-len-range, int2bits-len-neg, int2bits-len-mon, int2bits-falsein, bits2int8-03, bits2int8-01, bits2int-le8-01, bits2int-le8,
• int-abs/numlsledel is used by int2bits-mod2-neg,
• int-abs/numlsledel-01 is used by uint2bits-add-low, uint2bits-add-high,
• int-abs/numsub is used by uint2int-rest, uint2bits-succ-intro, uint2bits-restsgn, uint2bits-pred, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, int2int-rest-01, int2int-neg, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-07, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-suc, int2bits-len-mod2pot, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01, int2bits-add-low, int2bits-add-high,
• int-abs/one-03 is used by uint2bits-2pot-05,
• int-abs/sub-add is used by uint2bits-restsgn, int2bits-add-low,
• int-abs/sub-add-01 is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-len, uint2bits-add-low, uint2bits-add-high, int2unit-inv-rest, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-neg, int2bits-add-low, int2bits-add-high, bits2int-split-01, bits2int-rec-03,
• int-abs/sub-add-06 is used by uint2bits-restsgn, int2int-lastn-negpos, int2bits-add-low, int2bits-add-high,
• int-abs/sub-add-09 is used by uint2bits-add-low, uint2bits-add-high, int2int-lastn-negneg, int2bits-neg-03, int2bits-lslen-07, int2bits-len-mon, int2bits-add-low, bits2int-rec-01,
• int-abs/sub-eq is used by uint2uint-inv-01, uint2uint-inv, uint2int-rest, uint2bits-restsgn, uint2bits-pred, uint2bits-falsein-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-02, ubits2bits, int2unit-inv-rest, int2uint-pos, int2uint-neg, int2int-rest, int2int-neg, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-mod2-len, int2bits-lslen-04, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-pos-suc, int2bits-lelen-07, int2bits-lelen-06, int2bits-falsein-03, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-ones, bits2uint-inv-pos, bits2uint-inv-neg, bits2ubits, bits2int-zero-02, bits2int-split-01, bits2int-sign, bits2int-rec-03, bits2int-ones-02, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2int-inv, bits2int-011x,
• int-abs/sub-eq-01 is used by uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, int2bits-add-high, bits2int-lasteq,
• int-abs/sub-le is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-rec-neg, int2bits-len-range, int2bits-add-high,
• int-abs/sub-le-01 is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-05, int2bits-restsgn, int2bits-rec-neg, int2bits-pred-intro, int2bits-pred, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-02, bits2int-le8-01, bits2int-le8,
• int-abs/sub-ls is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, int2int-neg, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-neg, int2bits-lelen-04, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, bits2int-range, bits2int-nls,
• int-abs/sub-ls-01 is used by uint2bits-restsgn, uint2bits-pred, uint2bits-falsein-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-02, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-lslen-08, int2bits-lslen-04, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-neg, int2bits-len-mon, int2bits-lelen-06, int2bits-add-high, bits2int-le8-01, bits2int-le8,
• int-abs/sub-pred is used by uint2int-rest, uint2bits-falsein-01, uint2bits-add-low, uint2bits-2pot-neg-mone, int2bits-lslen-07, int2bits-add-low,
• int-abs/sub-sub is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2uint-pos, int2int-lastn-negpos, int2bits-rec-neg, int2bits-add-low, int2bits-add-high, bits2uint-inv-neg,
• int-abs/sub-sub-04 is used by int2bits-rec-neg, int2bits-rec-2pot-neg-03, int2bits-add-low, int2bits-add-high,
• int-abs/subneg is used by int2bits-neg-02,
• int-abs/subsub is used by uint2bits-add-high, int2unit-inv-rest, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-03, int2bits-len-range, int2bits-len-neg-02, int2bits-len-neg-01, int2bits-len-mon, int2bits-lelen-03, int2bits-add-low, bits2uint-inv-pos, bits2int-split-01, bits2int-inv,
• int-abs/succ-01 is used by uint2bits-restsgn, uint2bits-add-high, int2bits-lslen-08, int2bits-len-range, int2bits-len-pos-pred, int2bits-lelen, int2bits-add-high,
• int-abs/succ-02 is used by uint2bits-succ, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-min, uint2bits-len-max, uint2bits-len, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-neg, int2bits-lelen, int2bits-add-high, bits2int-range,
• int-abs/zero-gels-01 is used by uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-eq, int2bits-len-add, int2bits-lelen-05, int2bits-add-low, int2bits-add-high,
• int-abs/zero-gels-02 is used by uint2bits-add-low-01,
• int-abs/zero-gels-03 is used by int2bits-rec-2pot-neg-02, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-08, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-falsein-01, int2bits-add-low, int2bits-add-high,
• int-abs/zero-gels-04 is used by uint2bits-mod2pot-01, uint2bits-len-add, uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2bits-true, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-pos-pred, int2bits-len-eq, int2bits-len-abs, int2bits-lelen-07, int2bits-leading-sgn, int2bits-add-high,
• int-abs/zeroone is used by uint2bits-len-mon, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2int-lastn-negpos, int2bits-neg-03, int2bits-len-neg,

Used from specification list-last

• list-last/bitlista/blastN-rec is used by uint2bits-div2pot,
• list-last/bitlista/mk-last is used by bits2int-mklist-01,
• list-last/bitlista/mk-last-01-01 is used by uint2bits-add-high,
• list-last/bitlista/mk-last-02 is used by uint2bits-add-low, uint2bits-add-high, bits2int-mklist-06, bits2int-mklist-05,
• list-last/bitlista/mk-rest-01 is used by int2bits-rec-2pot-neg-02,
• list-last/bitlista/mklist-last is used by uint2bits-2pot-neg-mone,
• list-last/bitlista/b is used by uint2bits-add-high,
• list-last/bitlista/bin is used by uint2bits-add-high,
• list-last/bitlista/bin-01 is used by bits2int-ones-02,
• list-last/bitlista/blastN-mklist is used by uint2bits-div2pot-01,
• list-last/bitlista/butlastN-base is used by uint2bits-div2pot,
• list-last/bitlista/l is used by uint2bits-add-high, int2bits-mod2-neg,
• list-last/bitlista/l-05 is used by uint2bits-add-high,
• list-last/bitlista/last-def is used by int2bits-mod2-neg,
• list-last/bitlista/last-elim is used by uint2bits-falsein, ubits2bits, bits2uint-zeros, bits2uint-rec-01, bits2uint-rec, bits2uint-not-zero, bits2uint-inv-neg,
• list-last/bitlista/mk-butlast is used by uint2bits-add-high,
• list-last/bitlista/mk-elem is used by bits2int-sgn, bits2int-mklist-01, bits2int-mklist,
• list-last/bitlista/mk-empty is used by uint2bits-add-high, uint2bits-2pot, int2bits-rec-2pot-neg-01, int2bits-add-high, int2bits-2pot-04, bits2int-zeros-03, bits2int-zeros, bits2int-sgn, bits2int-mklist-03, bits2int-mklist-02,
• list-last/bitlista/mk-first is used by bits2int-zeros,
• list-last/bitlista/mk-in is used by bits2int-sgn,
• list-last/bitlista/mk-inj-01 is used by uint2bits-add-high-01, uint2bits-2pot-neg-mone, int2bits-fill-rest,
• list-last/bitlista/mk-last is used by uint2bits-mod2pot, uint2bits-len-add, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-lslen-07, int2bits-len-neg, int2bits-fillsgn, int2bits-fill-rest, bits2int-mklist-06, bits2int-mklist-05, bits2int-mklist-01,
• list-last/bitlista/mk-len is used by uint2bits-len-add, uint2bits-add-high, int2int-neg, int2bits-lslen-08, int2bits-lslen-07, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-neg, int2bits-len-abs, int2bits-lelen-07, int2bits-add-low, int2bits-add-high, bits2uint-nle, bits2uint-2pot-02, bits2int-nls,
• list-last/bitlista/mk-one-01 is used by uint2bits-add-low, uint2bits-2pot-neg-mone,
• list-last/bitlista/mk-plus is used by uint2bits-len-add, uint2bits-add-high-01, uint2bits-2potrec, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-lslen-07, int2bits-len-neg, int2bits-fillsgn, int2bits-fill-rest, int2bits-2pot-03,
• list-last/bitlista/mk-rest-01 is used by bits2int-zeros,
• list-last/bitlista/mk-zero is used by uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-01, uint2bits-2pot, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-mod2, int2bits-fillsgn, int2bits-fill-rest, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04, int2bits-2pot-02, int2bits-256-neg-mone,
• list-last/bitlista/mklist-one is used by uint2bits-len-add, uint2bits-add-high-01, uint2bits-2potrec, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-rec-2pot-neg-02, int2bits-lslen-07, int2bits-len-neg, int2bits-fillsgn, int2bits-2pot-03,

Used from specification list-data

• list-data/bitlista/length-rest is used by uint2bits-mod2pot, uint2bits-len-add,
• list-data/bitlista/elim-list is used by uint2bits-second, uint2bits-restsgn, uint2bits-rest, uint2bits-falsein, uint2bits-add-high-02, uint2bits-2pot-05, int2bits-truein-01, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-leading-sgn, int2bits-first-01, int2bits-falsein-03, int2bits-falsein-01, int2bits-exneg, bits2int-rec-03, bits2int-ones-02,
• list-data/bitlista/elim-list-c is used by uint2bits-sgn-first, uint2bits-sgn, uint2bits-onein, uint2bits-first-04, uint2bits-expos0, ubits2ubits-pos, ubits2ubits-neg, int2unit-inv-rest, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-inv-first, int2bits-first-02, int2bits-2pot-04, bits2uint-inv-pos, bits2int-zeros-01, bits2int-zero-02, bits2int-zero-01, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-sgn, bits2int-rec-false, bits2int-rec-01, bits2int-rec, bits2int-range, bits2int-pos-02, bits2int-pos-01, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-lasteq, bits2int-inv, bits2int-first-01, bits2int-first, bits2bits-def,
• list-data/bitlista/l is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-max, uint2bits-len-add, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-2potrec, uint2bits-2pot-05, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-lslen-09, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-one, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-abs-01, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-leading-sgn, int2bits-fill-rest, int2bits-add-low, bits2uint-zeros-02, bits2uint-split, bits2uint-nle-01, bits2uint-2pot, bits2int8-03, bits2int8-02, bits2int16-03, bits2int16-02, bits2int-zero-02, bits2int-split-01, bits2int-split, bits2int-range, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-mklist-04, bits2int-mklist-03, bits2int-le8-01, bits2int-le8,
• list-data/bitlista/length-rest is used by uint2bits-2pot-05,
• list-data/bitlista/lf-01 is used by uint2bits-len-mon, uint2bits-len, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-pos-01, int2bits-add-low, bits2int-le8,
• list-data/bitlista/size-01 is used by uint2bits-2pot-05, ubits2bits, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-2pot-03, bits2uint-split, bits2uint-ones, bits2uint-inv-neg, bits2uint-2pot, bits2int8-01, bits2int8, bits2int16-01, bits2int16, bits2int-zero-02, bits2int-rec-03, bits2int-011x,

Used from specification list

• list/bitlista/In is used by int2bits-rec-2pot-neg-02,
• list/bitlista/a is used by bits2int-ones-02, bits2int-mklist-01,
• list/bitlista/c-07 is used by int2int-rest-01,
• list/bitlista/first-01 is used by uint2bits-second, uint2bits-first, ubits2bits, int2bits-falsein-01,
• list/bitlista/lastdiv-rew is used by ubits2ubits-def, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-neg,
• list/bitlista/rest-01 is used by uint2bits-second, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-falsein-01, uint2bits-add-high, int2bits-rest, int2bits-falsein-01, int2bits-add-low, int2bits-add-high,
• list/bitlista/Last is used by uint2uint-pos, uint2uint-inv, uint2bits-zero-01, uint2bits-succ, uint2bits-second, uint2bits-restsgn, uint2bits-rec-01, uint2bits-pred, uint2bits-pos-num, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-eq, uint2bits-empty, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2int-rest-01, int2int-neg, int2int-lastn-negneg, int2bits-true, int2bits-restsgn, int2bits-rest, int2bits-rec-pos-01, int2bits-rec-pos, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-one, int2bits-len-neg-01, int2bits-len-eq, int2bits-len-2-32-1, int2bits-lelen-04, int2bits-fill-rest, int2bits-falsein-02, int2bits-falsein-01, int2bits-add-low, int2bits-add-high, int2bits-011x, bits2uint-succ, bits2int-rec-false, bits2int-rec-03, bits2int-rec-01, bits2int-ones-02, bits2int-lasteq, bits2bits-mone, bits2bits-def,
• list/bitlista/Nil is used by uint2bits-second, uint2bits-restsgn, uint2bits-falsein, uint2bits-add-high, uint2bits-2pot-neg-mone, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-fillsgn, int2bits-falsein-01, int2bits-add-high, bits2uint-one-02, bits2uint-one-01, bits2int-zeros-01, bits2int-sign, bits2int-rec-03,
• list/bitlista/Two is used by uint2uint-pos, uint2uint-inv, uint2bits-zero-01, uint2bits-succ, uint2bits-sgn-02, uint2bits-second, uint2bits-restsgn, uint2bits-pred, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-eq, uint2bits-empty, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2int-rest-01, int2int-neg, int2int-lastn-negneg, int2bits-true, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-one, int2bits-len-neg-01, int2bits-len-eq, int2bits-len-2-32-1, int2bits-lelen-04, int2bits-fill-rest, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, int2bits-011x, bits2bits-mone,
• list/bitlista/a is used by uint2uint-pos, uint2uint-inv, uint2int-rest, uint2bits-zero-01, uint2bits-succ, uint2bits-sgn-first, uint2bits-sgn-false-01, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-rest, uint2bits-rec-01, uint2bits-pred, uint2bits-pos-num, uint2bits-onein, uint2bits-not-one, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inv, uint2bits-inj, uint2bits-firstpos, uint2bits-first-05, uint2bits-first-04, uint2bits-first-01, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-expos0, uint2bits-eq, uint2bits-empty, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-03, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-pos, ubits2ubits-neg, ubits2ubits-def, ubits2bits, int2unit-inv-rest, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-lastn-2pot, int2int-inj, int2bits-truetrue-01, int2bits-truetrue, int2bits-truein-01, int2bits-truein, int2bits-true, int2bits-sgn-02, int2bits-restsgn, int2bits-rest, int2bits-rec-pos-01, int2bits-rec-pos, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg-01, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-ones, int2bits-one-bit, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2pot, int2bits-mod256, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-one, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-len-abs, int2bits-len-2-32-1, int2bits-lelen-07, int2bits-lelen-04, int2bits-leading-sgn, int2bits-inv-first, int2bits-first-06, int2bits-first-05, int2bits-first-04, int2bits-first-03, int2bits-first-02, int2bits-first-01, int2bits-first, int2bits-fillsgn, int2bits-fill-rest, int2bits-falsein-03, int2bits-falsein-02, int2bits-falsein-01, int2bits-expos, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04, int2bits-2pot-03, int2bits-2pot-02, int2bits-2pot-01, int2bits-2pot, int2bits-256-neg-mone, int2bits-011x, bits2uint-zeros-02, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-rec-02, bits2uint-rec-01, bits2uint-rec, bits2uint-ones, bits2uint-one-02, bits2uint-one-01, bits2uint-not-zero-01, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle, bits2uint-inv-pos, bits2uint-inv-neg, bits2uint-2pot, bits2int-zeros-02, bits2int-zeros-01, bits2int-zeros, bits2int-zero-02, bits2int-zero-01, bits2int-zero, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-sgn, bits2int-rec-false, bits2int-rec-04, bits2int-rec-03, bits2int-rec-01, bits2int-rec, bits2int-range, bits2int-pos-02, bits2int-pos-01, bits2int-ones-02, bits2int-ones-01, bits2int-one, bits2int-nls, bits2int-neg-1bit-01, bits2int-neg-1bit, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-mklist-06, bits2int-mklist-05, bits2int-mklist-02, bits2int-mklist-01, bits2int-le8, bits2int-lasteq, bits2int-inv, bits2int-first-01, bits2int-first, bits2int-2pot, bits2int-011x, bits2bits-mone, bits2bits-def, bits2bits-2pot-01, bits2bits-2pot,
• list/bitlista/app is used by uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-rest, uint2bits-onein, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len, uint2bits-expos1, uint2bits-expos0, uint2bits-add-low-01, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, int2unit-inv-rest, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-neg-03, int2bits-mod2, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-pos-01, int2bits-leading-sgn, int2bits-fill-rest, int2bits-falsein-01, int2bits-add-low, int2bits-2pot-neg-mone, int2bits-2pot-04, int2bits-2pot-02, int2bits-256-neg-mone, bits2uint-zeros-02, bits2uint-split, bits2uint-2pot, bits2int-zero-02, bits2int-zero, bits2int-sgn, bits2int-one, bits2int-le8, bits2bits-def,
• list/bitlista/app-01 is used by uint2bits-succ, uint2bits-sgn-false-01, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-restsgn, uint2bits-rec-01, uint2bits-pred, uint2bits-pos-num, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-falsein, uint2bits-expos1, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-03, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-neg, int2bits-sgn-02, int2bits-restsgn, int2bits-rec-pos-01, int2bits-rec-pos, int2bits-rec-neg-01, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-mod2pot, int2bits-mod256, int2bits-fillsgn, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-01, int2bits-2pot, int2bits-256-neg-mone, bits2bits-def, bits2bits-2pot-01, bits2bits-2pot,
• list/bitlista/app-02-ant is used by uint2int-rest, uint2bits-false, uint2bits-empty, uint2bits-add-high, uint2bits-2pot-04, ubits2ubits-def, int2bits-truein, int2bits-rest, int2bits-neg-03, int2bits-falsein-01, bits2uint-inv-pos, bits2int-zeros-01, bits2int-zeros, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-rec-false, bits2int-rec-04, bits2int-range, bits2int-ones-02, bits2int-ones-01, bits2int-mklist-02, bits2int-mklist-01, bits2int-lasteq, bits2int-inv, bits2int-first,
• list/bitlista/app-03 is used by uint2bits-succ, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-2pot-01, ubits2ubits-def, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-exneg, int2bits-add-high, int2bits-2pot-neg-mone, int2bits-2pot-04,
• list/bitlista/app-04 is used by uint2bits-2pot, int2bits-restsgn, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-01,
• list/bitlista/app-05 is used by uint2bits-succ, uint2bits-sgn-2pot-01, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-add-high, ubits2ubits-def,
• list/bitlista/app-06 is used by uint2bits-inj, uint2bits-falsein, uint2bits-expos1,
• list/bitlista/c is used by uint2uint-inv, uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-sgn, uint2bits-second, uint2bits-restsgn, uint2bits-rest, uint2bits-pred, uint2bits-onein, uint2bits-len-mon, uint2bits-len, uint2bits-first-04, uint2bits-falsein, uint2bits-expos0, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-05, ubits2ubits-pos, ubits2ubits-neg, int2unit-inv-rest, int2uint-neg, int2int-rest-01, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-truein-01, int2bits-true, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-lelen-04, int2bits-leading-sgn, int2bits-inv-first, int2bits-first-02, int2bits-first-01, int2bits-first, int2bits-fill-rest, int2bits-falsein-03, int2bits-falsein-02, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, int2bits-2pot-01, bits2uint-inv-pos, bits2int-zeros-01, bits2int-zero-02, bits2int-zero-01, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-sgn, bits2int-rec-false, bits2int-rec-03, bits2int-rec-01, bits2int-rec, bits2int-range, bits2int-pos-02, bits2int-pos-01, bits2int-ones-02, bits2int-ones-01, bits2int-one, bits2int-nls, bits2int-neg-1bit-01, bits2int-neg-1bit, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-mklist-02, bits2int-mklist-01, bits2int-le8, bits2int-lasteq, bits2int-inv, bits2int-first-01, bits2int-first, bits2int-2pot, bits2bits-mone, bits2bits-def, bits2bits-2pot-01,
• list/bitlista/c-03 is used by uint2bits-zero-01, uint2bits-not-one, uint2bits-inj, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-eq, int2bits-add-low,
• list/bitlista/c-04 is used by uint2bits-zero-01, uint2bits-sgn-false, uint2bits-sgn-01, uint2bits-restsgn, uint2bits-pred, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-2pot-05, ubits2ubits-def, int2int-lastn-negneg, int2bits-zero, int2bits-true, int2bits-sgn, int2bits-rec-2pot-neg-02, int2bits-one-bit, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2, int2bits-exneg, int2bits-eq, int2bits-2pot-02, bits2bits-zeros, bits2bits-mone,
• list/bitlista/c-05 is used by uint2bits-zero-01, uint2bits-not-one, uint2bits-inj, uint2bits-eq, int2bits-one-bit,
• list/bitlista/c-06 is used by uint2bits-sgn-first,
• list/bitlista/c-07 is used by uint2int-rest, uint2bits-sgn-2pot-01, uint2bits-second, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-falsein-01, uint2bits-false, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, int2uint-neg, int2int-inj, int2bits-truein-01, int2bits-restsgn, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-mod2, int2bits-len-neg, int2bits-fill-rest, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, int2bits-011x, bits2int-sign, bits2int-mklist-02, bits2int-lasteq,
• list/bitlista/c-08 is used by uint2bits-first-01, uint2bits-first, uint2bits-false, int2int-inj, int2bits-falsein-01, int2bits-add-high, bits2int-sign, bits2int-ones-01, bits2int-nls, bits2int-mklist-02, bits2int-mklist-01, bits2int-lasteq,
• list/bitlista/e is used by uint2int-rest, uint2bits-zero-01, uint2bits-sgn-2pot-01, uint2bits-not-one, uint2bits-inj, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-eq, uint2bits-empty, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2pot-04, ubits2ubits-def, int2bits-truein, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-neg-03, int2bits-falsein-01, int2bits-add-low, bits2uint-inv-pos, bits2int-zeros-01, bits2int-split-01, bits2int-sign, bits2int-rec-false, bits2int-range, bits2int-ones-01, bits2int-mklist-02, bits2int-mklist-01, bits2int-lasteq, bits2int-inv, bits2int-first,
• list/bitlista/e-01 is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn, uint2bits-restsgn, uint2bits-falsein, uint2bits-add-high, uint2bits-2pot-05, uint2bits-2pot-04, ubits2ubits-pos, ubits2ubits-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-falsein-01, int2bits-exneg, int2bits-add-high, bits2uint-inv-pos, bits2int-zeros-01, bits2int-zero-02, bits2int-zero-01, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-sgn, bits2int-rec-false, bits2int-rec-03, bits2int-rec-01, bits2int-range, bits2int-pos-02, bits2int-pos-01, bits2int-ones-02, bits2int-nls, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-mklist-02, bits2int-lasteq, bits2int-inv, bits2int-first-01, bits2int-first, bits2bits-def,
• list/bitlista/e-02 is used by uint2bits-add-high, ubits2bits, int2bits-rest, int2bits-neg-03, bits2uint-zeros, bits2uint-rec-01, bits2uint-rec, bits2uint-not-zero, bits2uint-inv-neg, bits2int-rec-false, bits2int-lasteq,
• list/bitlista/e-03 is used by int2bits-truein, int2bits-falsein-01, bits2int-zeros-01, bits2int-sign,
• list/bitlista/eq-05 is used by uint2bits-sgn, uint2bits-expos0, int2bits-falsein-03,
• list/bitlista/first is used by uint2bits-second, uint2bits-len-mon, uint2bits-first,
• list/bitlista/first-01 is used by bits2uint-inv-neg, bits2int-zeros-01, bits2int-split, bits2int-sign, bits2int-rec-false, bits2int-ones-02, bits2int-lasteq,
• list/bitlista/first-02 is used by int2bits-falsein-01,
• list/bitlista/in-06 is used by uint2bits-falsein, uint2bits-2pot-05, int2int-inj, int2bits-truein-01, int2bits-truein, int2bits-ones, int2bits-falsein-01, int2bits-exneg, int2bits-2pot-03, bits2uint-not-zero-01, bits2int-zeros-01, bits2int-zero-01, bits2int-sign, bits2int-ones-02, bits2bits-def,
• list/bitlista/in-07 is used by uint2bits-2pot-05,
• list/bitlista/in-09 is used by int2bits-2pot-03,
• list/bitlista/in-10 is used by uint2bits-restsgn, uint2bits-2pot-04, ubits2ubits-def, bits2bits-def,
• list/bitlista/in-13 is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-restsgn, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-2pot-04, uint2bits-2pot-03, uint2bits-2pot, int2uint-neg, int2int-rest-01, int2int-inj, int2bits-truein-01, int2bits-truein, int2bits-ones, int2bits-len-neg, int2bits-first, int2bits-falsein-01, int2bits-expos, int2bits-exneg, int2bits-add-high, int2bits-2pot-03, bits2bits-def,
• list/bitlista/in-14 is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-restsgn, uint2bits-onein, uint2bits-inv, uint2bits-inj, uint2bits-first-05, uint2bits-first-04, uint2bits-first-01, uint2bits-falsein, uint2bits-false, uint2bits-expos1, uint2bits-expos0, uint2bits-add-low, uint2bits-add-high-02, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-03, uint2bits-2pot-02, uint2bits-2pot, int2unit-inv-rest, int2uint-neg, int2int-rest-01, int2int-lastn-pospos, int2int-lastn-posneg, int2int-inj, int2bits-truetrue-01, int2bits-truein-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-len-neg, int2bits-leading-sgn, int2bits-inv-first, int2bits-first-04, int2bits-first-03, int2bits-first-02, int2bits-first, int2bits-falsein-03, int2bits-falsein-01, int2bits-expos, int2bits-exneg, int2bits-add-high, int2bits-2pot-04, int2bits-2pot-03, bits2int-sgn,
• list/bitlista/in-15 is used by uint2bits-inj, uint2bits-falsein, int2bits-truetrue, int2bits-falsein-01,
• list/bitlista/in-17 is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot, uint2bits-restsgn, uint2bits-onein, uint2bits-inj, uint2bits-first-01, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-add-low, uint2bits-2pot-04, ubits2ubits-def, int2uint-neg, int2int-inj, int2bits-truein-01, int2bits-truein, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-len-neg, int2bits-first, int2bits-falsein-01, int2bits-exneg, int2bits-2pot-04, int2bits-011x, bits2uint-zeros-03, bits2uint-zeros, bits2uint-ones, bits2uint-not-zero, bits2int-zero-02, bits2int-sgn, bits2int-rec-04, bits2int-rec-03,
• list/bitlista/in-append is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot, uint2bits-restsgn, uint2bits-inj, uint2bits-first-01, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-add-low, uint2bits-2pot-04, ubits2ubits-def, int2uint-neg, int2int-inj, int2bits-truein-01, int2bits-truein, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-len-neg, int2bits-first, int2bits-falsein-01, int2bits-exneg, int2bits-2pot-04, int2bits-011x, bits2uint-zeros, bits2uint-ones, bits2uint-not-zero, bits2int-zero-02, bits2int-sgn, bits2int-rec-04, bits2int-rec-03, bits2bits-def,
• list/bitlista/in-empty is used by uint2bits-falsein, uint2bits-2pot-05, int2bits-truein-01, int2bits-falsein-02, int2bits-falsein-01, bits2uint-not-zero, bits2int-rec-03, bits2bits-def,
• list/bitlista/len is used by uint2uint-inv, uint2int-rest, uint2bits-len-mon, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-05, uint2bits-2pot-04, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-one, int2bits-len-neg, int2bits-len-abs, int2bits-len-2-32-1, int2bits-lelen-07, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle, bits2uint-inv-neg, bits2int-zero-02, bits2int-split-01, bits2int-range, bits2int-nls,
• list/bitlista/len-02 is used by uint2uint-inv, uint2int-rest, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-add-low-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-05, uint2bits-2pot-04, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negneg, int2int-lastn-2pot, int2bits-restsgn, int2bits-rec-2pot-neg-02, int2bits-mod2-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-one, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-abs, int2bits-len-2-32-1, int2bits-lelen-07, int2bits-lelen-04, int2bits-lelen, int2bits-leading-sgn, int2bits-falsein-01, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle, bits2uint-inv-neg, bits2int-zero-02, bits2int-split-01, bits2int-range, bits2int-nls,
• list/bitlista/neq is used by uint2bits-onein, int2bits-truein, int2bits-falsein-01, bits2bits-def,
• list/bitlista/rest is used by uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, int2int-rest-01, int2int-neg, int2bits-truein-01, int2bits-rest, int2bits-falsein-02, int2bits-falsein-01, int2bits-add-high, int2bits-2pot-03,
• list/bitlista/rest-01 is used by bits2int-zeros-01, bits2int-sign,

Used from specification nat-basic2

• nat-basic2/c is used by int2bits-add-low,
• nat-basic2/a is used by uint2uint-inv, uint2int-rest, uint2bits-restsgn, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-02, int2bits-len-pos-01, int2bits-len-one, int2bits-len-neg, int2bits-len-mod2pot, int2bits-len-add, int2bits-len-abs-01, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01, int2bits-fillsgn, int2bits-fill-rest, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle, bits2uint-inv-neg, bits2int-zero-02, bits2int-split-01, bits2int-range, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-le8-01, bits2int-le8,
• nat-basic2/c is used by uint2uint-inv, uint2int-rest, uint2bits-restsgn, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-neg-mone, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-mod2pot, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-03, int2bits-len-pos-02, int2bits-len-pos-01, int2bits-len-one, int2bits-len-neg, int2bits-len-mod2pot, int2bits-len-add, int2bits-len-abs-01, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01, int2bits-fillsgn, int2bits-fill-rest, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle, bits2uint-inv-neg, bits2int-zero-02, bits2int-split-01, bits2int-range, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-le8-01, bits2int-le8,
• nat-basic2/eq is used by int2bits-leneq-pos, int2bits-lelen-06,
• nat-basic2/eq-01 is used by uint2bits-len-add, uint2bits-len-01, uint2bits-len, int2bits-len-pos-02, int2bits-len-add, bits2int-range,
• nat-basic2/l is used by uint2bits-len-mon, uint2bits-add-high-01, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-05,
• nat-basic2/l-01 is used by int2bits-leneq-pos, int2bits-lelen-06, bits2int-le8-01, bits2int-le8,
• nat-basic2/l-02 is used by uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-max, uint2bits-2potrec, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-rec-2pot-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-04, int2bits-len-range, int2bits-len-mod2pot, int2bits-len-abs-01, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-04, int2bits-fillsgn,
• nat-basic2/one is used by int2bits-lslen-06, int2bits-lslen-05,
• nat-basic2/one-03 is used by int2bits-len-one,
• nat-basic2/oz is used by uint2int-rest, uint2bits-len-add, int2int-rest-01, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen,
• nat-basic2/pred is used by int2bits-rec-2pot-neg-02, int2bits-fillsgn, int2bits-fill-rest,
• nat-basic2/s is used by uint2bits-mod2pot, uint2bits-len-max, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, ubits2bits, int2bits-rec-2pot-neg-02, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, int2bits-len-range, int2bits-fillsgn, int2bits-fill-rest, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-neg, bits2int-nls,
• nat-basic2/succ is used by uint2bits-2potrec, int2bits-lelen-06, int2bits-lelen-05, int2bits-fillsgn,
• nat-basic2/succ-03 is used by int2bits-len-pos-01,
• nat-basic2/z is used by uint2bits-mod2pot, uint2bits-len-add, uint2bits-div2pot, uint2bits-add-high, uint2bits-2pot-05, int2bits-rec-2pot-neg-02, int2bits-fillsgn,

Used from specification intnat

• intnat/Int2nat-pos is used by uint2bits-add-high,
• intnat/abs-succ-03 is used by int2bits-len-pos-01,
• intnat/add is used by int2bits-len-neg,
• intnat/add-01 is used by uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, int2bits-lslen-08, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-range, bits2int-le8-01, bits2int-le8,
• intnat/num-i2n-le is used by int2bits-lelen,
• intnat/num-n2i-eq is used by int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-neg,
• intnat/num-n2i-eq-01 is used by int2bits-leneq-neg,
• intnat/num-n2i-ls-04 is used by int2bits-add-low,
• intnat/rax is used by uint2bits-restsgn,
• intnat/rax-01 is used by uint2bits-2pot-neg-mone, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot,
• intnat/sub is used by int2bits-leneq-pos, int2bits-lelen-06, int2bits-lelen-05,
• intnat/abs-eq is used by uint2bits-len-add,
• intnat/abs-pred is used by uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone,
• intnat/abs-succ-02 is used by uint2bits-add-low, uint2bits-add-high,
• intnat/abs-succ-03 is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-2pot-02, uint2bits-2pot, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-lslen-07, int2bits-leneq-neg, int2bits-len-range, int2bits-fill-rest,
• intnat/abs-zero is used by uint2bits-mod2pot, uint2bits-len-max, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot, int2bits-rec-2pot-neg-01, int2bits-lslen-08, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-lelen-06, int2bits-add-high, int2bits-2pot-04, bits2int-le8-01, bits2int-le8,
• intnat/i2i-pos is used by uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, int2bits-lslen-12, int2bits-len-mod2pot, int2bits-fill-rest, int2bits-add-low, int2bits-add-high, bits2int-le8-01, bits2int-le8,
• intnat/i2i-pos-01 is used by uint2bits-len-add, int2int-neg, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01,
• intnat/ini2-abs is used by int2int-neg, int2bits-restsgn, int2bits-len-eq, int2bits-add-low, int2bits-add-high,
• intnat/labs is used by uint2uint-pos, uint2uint-inv, uint2bits-succ, uint2bits-second, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-min, uint2bits-len-max, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-2potrec, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-01, int2bits-len-abs,
• intnat/labs-01 is used by uint2bits-restsgn, uint2bits-2potrec,
• intnat/le is used by int2bits-leneq-pos, int2bits-leneq-neg, bits2int-nle,
• intnat/minus-one is used by int2bits-leneq-pos, int2bits-leneq-neg,
• intnat/n2i-add is used by uint2uint-inv, uint2int-rest, uint2bits-len-add, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2pot-05, uint2bits-2pot-04, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-len-mod2pot, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-split, bits2uint-ones, bits2uint-inv-neg, bits2int-zero-02, bits2int-split-01, bits2int-le8-01, bits2int-le8,
• intnat/n2n is used by uint2bits-sgn-2pot, uint2bits-2pot-05, uint2bits-2pot-03, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2int-lastn-2pot, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-add-low, bits2uint-nle, bits2int-nls, bits2bits-2pot-01, bits2bits-2pot,
• intnat/nat2int is used by uint2uint-inv, uint2bits-sgn-2pot, uint2bits-restsgn, uint2bits-2pot-04, uint2bits-2pot-03, ubits2bits, int2uint-neg, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-negpos, int2int-lastn-negneg, int2int-lastn-2pot, int2bits-restsgn, int2bits-len-neg, int2bits-lelen-07, int2bits-add-low, int2bits-add-high, int2bits-2pot-03, bits2uint-split, bits2uint-ones, bits2uint-nle-01, bits2uint-nle, bits2uint-inv-neg, bits2int-zero-02, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2bits-2pot-01, bits2bits-2pot,
• intnat/nat2int-04 is used by bits2uint-nle-01, bits2int-nls-02, bits2int-nls-01,
• intnat/nat2int-08 is used by uint2bits-sgn-2pot, int2bits-truein-01,
• intnat/nat2int-09 is used by uint2bits-2pot-04, int2bits-2pot-03,
• intnat/nat2int-14 is used by uint2bits-restsgn,
• intnat/num-i2n-eq is used by uint2bits-len, uint2bits-add-low, uint2bits-2pot-neg-mone, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, bits2int-le8-01,
• intnat/num-i2n-eq-01 is used by int2bits-leneq-neg,
• intnat/num-i2n-le-02 is used by uint2bits-2pot-neg-mone, int2bits-leneq-neg, int2bits-lelen-06,
• intnat/num-i2n-ls is used by uint2bits-add-low-01, int2bits-len-range,
• intnat/num-i2n-ls-02 is used by int2bits-leneq-neg, bits2int-le8-01,
• intnat/num-n2i-eq is used by int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, bits2int-le8-01, bits2int-le8,
• intnat/num-n2i-ls-02 is used by uint2bits-2pot-05, int2int-neg, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-neg, int2bits-lelen-06, int2bits-add-low, bits2int-le8-01, bits2int-le8,
• intnat/num-n2i-ls-03 is used by uint2int-rest,
• intnat/num-n2i-ls-06 is used by int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, int2bits-lelen-05, bits2int-le8-01, bits2int-le8,
• intnat/num-n2i-ls-07 is used by uint2bits-restsgn,
• intnat/rax is used by uint2bits-mod2pot, uint2bits-div2pot, uint2bits-2pot-02, uint2bits-2pot-01,
• intnat/rax-04 is used by uint2bits-mod2pot-01, uint2bits-len-min, uint2bits-len-max, uint2bits-len, uint2bits-2potrec, uint2bits-2pot-01, int2bits-mod2pot, int2bits-lslen-11, int2bits-lslen-07, int2bits-leneq-pos, int2bits-len-range, int2bits-len-neg,

Used from specification int-basic2

• int-basic2/add-c is used by uint2bits-add-low, uint2bits-add-high, int2bits-lslen-07,
• int-basic2/add-zero-rev is used by int2bits-rec-2pot-neg-02,
• int-basic2/pls-01 is used by int2bits-lelen-07, bits2int-range,
• int-basic2/pls-02 is used by int2bits-lslen-07,
• int-basic2/add-a is used by uint2uint-pos, uint2uint-neg, uint2uint-inv-01, uint2uint-inv, uint2int-rest, uint2bits-truein, uint2bits-succ-intro, uint2bits-succ, uint2bits-restsgn, uint2bits-pred-intro, uint2bits-pred, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first-05, uint2bits-first-04, uint2bits-falsein-01, uint2bits-empty-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, ubits2bits, int2unit-inv-rest, int2uint-pos, int2uint-neg, int2uint-inv-01, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-truein-01, int2bits-true, int2bits-succ-intro, int2bits-succ, int2bits-sgn-02, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-ones, int2bits-neg-03, int2bits-neg-02, int2bits-mone, int2bits-mod2pot, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-02, int2bits-less-2pot-01, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-suc, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg-02, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen-01, int2bits-lelen, int2bits-fill-rest, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, int2bits-2pot-03, bits2uint-zeros-02, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-rec-02, bits2uint-rec, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-pos, bits2uint-inv-neg, bits2uint-2pot, bits2int16-01, bits2int16, bits2int-zero-02, bits2int-split-01, bits2int-sign, bits2int-rec-03, bits2int-rec-01, bits2int-rec, bits2int-range, bits2int-ones-02, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2int-inv, bits2int-first, bits2int-011x, bits2bits-def,
• int-basic2/add-c is used by uint2uint-pos, uint2uint-neg, uint2uint-inv-01, uint2uint-inv, uint2int-rest, uint2bits-truein, uint2bits-succ-intro, uint2bits-succ, uint2bits-restsgn, uint2bits-pred-intro, uint2bits-pred, uint2bits-mod2pot-01, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-min, uint2bits-len-max, uint2bits-len-add, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first-05, uint2bits-first-04, uint2bits-falsein-01, uint2bits-empty-01, uint2bits-div2pot-01, uint2bits-div2pot, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, uint2bits-2potrec, uint2bits-2pot-05, uint2bits-2pot-04, uint2bits-2pot-02, uint2bits-2pot-01, uint2bits-2pot, ubits2ubits-def, ubits2bits, int2unit-inv-rest, int2uint-pos, int2uint-neg, int2uint-inv-01, int2int-rest-01, int2int-neg, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negpos, int2int-lastn-negneg, int2int-inj, int2bits-truein-01, int2bits-true, int2bits-succ-intro, int2bits-succ, int2bits-sgn-02, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-03, int2bits-rec-2pot-neg-02, int2bits-rec-2pot-neg-01, int2bits-ones, int2bits-neg-04, int2bits-neg-03, int2bits-neg-02, int2bits-mone, int2bits-mod2pot, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-10, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-03, int2bits-lslen-02, int2bits-lslen-01, int2bits-lslen, int2bits-less-2pot-02, int2bits-less-2pot-01, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-suc, int2bits-len-pos-pred, int2bits-len-pos-01, int2bits-len-pos, int2bits-len-neg-02, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-03, int2bits-lelen-02, int2bits-lelen-01, int2bits-lelen, int2bits-fill-rest, int2bits-falsein-03, int2bits-falsein-02, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-04, int2bits-2pot-03, bits2uint-zeros-02, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-rec-02, bits2uint-rec, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-inv-pos, bits2uint-inv-neg, bits2uint-2pot, bits2int16-01, bits2int16, bits2int-zero-02, bits2int-split-01, bits2int-split, bits2int-sign, bits2int-rec-true, bits2int-rec-04, bits2int-rec-03, bits2int-rec-01, bits2int-rec, bits2int-range, bits2int-ones-02, bits2int-nls-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2int-inv, bits2int-first, bits2int-011x, bits2bits-def,
• int-basic2/add-in is used by uint2uint-inv, uint2bits-restsgn, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, int2unit-inv-rest, int2int-neg, int2int-lastn-posneg, int2bits-add-low, bits2uint-succ, bits2uint-split, bits2uint-rec-02, bits2uint-rec, bits2uint-inv-pos, bits2int-split-01, bits2int-rec, bits2int-le8-01, bits2int-le8, bits2int-lasteq, bits2int-inv,
• int-basic2/add-zero is used by uint2uint-neg, uint2bits-succ-intro, uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-pos, uint2bits-len-add, uint2bits-len-01, uint2bits-first-05, uint2bits-first-04, uint2bits-empty-01, uint2bits-div2pot-01, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2uint-neg, int2int-neg, int2int-lastn-negpos, int2int-inj, int2bits-restsgn, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-pos, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-neg-02, int2bits-mod2-neg, int2bits-mod2-len, int2bits-lslen-12, int2bits-lslen-11, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-lslen-02, int2bits-lslen-01, int2bits-len-range, int2bits-len-pos-suc, int2bits-len-neg-02, int2bits-len-neg, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-eq, int2bits-len-add, int2bits-lelen-07, int2bits-lelen-05, int2bits-lelen-04, int2bits-lelen-02, int2bits-lelen-01, int2bits-falsein-01, int2bits-add-low, int2bits-add-high, bits2uint-split, bits2int-zero-02, bits2int-split-01, bits2int-sign, bits2int-rec-03, bits2int-range, bits2int-ones-02, bits2int-nls, bits2int-le8, bits2int-lasteq, bits2int-first,
• int-basic2/eq is used by bits2uint-zeros-02, bits2uint-2pot,
• int-basic2/ls is used by uint2bits-restsgn, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-add-high, int2uint-neg, int2int-neg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-truein-01, int2bits-neg-03, int2bits-neg-02, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-01, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-add-high, bits2int-nls, bits2int-le8,
• int-basic2/ls-01 is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2bits-neg-03, int2bits-leneq-neg, int2bits-len-range, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, bits2int-nls-02, bits2int-nls-01, bits2int-le8,
• int-basic2/ls-02 is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-add-low, uint2bits-add-high, int2uint-neg, int2int-neg, int2bits-truein-01, int2bits-restsgn, int2bits-rec-2pot-pos, int2bits-neg-03, int2bits-neg-02, int2bits-mod2pot, int2bits-len-range, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-add-low, bits2int-le8,
• int-basic2/lst-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-len-neg,
• int-basic2/lst-03 is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, int2int-neg, int2int-lastn-negpos, int2bits-neg-03, int2bits-lslen-07, int2bits-less-2pot-02, bits2int-le8,
• int-basic2/lst-04 is used by uint2bits-add-high, int2int-neg, int2bits-len-range,
• int-basic2/mone-02 is used by bits2int-rec-03, bits2int-lasteq,
• int-basic2/num-between is used by bits2int16-03, bits2int16-01,
• int-basic2/pred is used by uint2bits-len, uint2bits-div2pot, bits2uint-inv-neg,
• int-basic2/succ-01 is used by uint2bits-restsgn, uint2bits-mod2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2potrec, int2uint-neg, int2int-neg, int2int-lastn-negpos, int2int-lastn-negneg, int2bits-truein-01, int2bits-neg-03, int2bits-neg-02, int2bits-less-2pot-02, int2bits-len-range, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-mon, int2bits-2pot-04, bits2int-le8,
• int-basic2/zero-01 is used by int2bits-add-high,
• int-basic2/zero-02 is used by uint2bits-restsgn, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-02, int2int-neg, int2bits-lslen-07, int2bits-len-range, int2bits-len-neg,
• int-basic2/zero-04 is used by uint2bits-falsein-01,

Used from specification nat-basic1

• nat-basic1/lstwo is used by int2bits-lelen-05,
• nat-basic1/f is used by uint2bits-mod2pot, uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, uint2bits-len-max, uint2bits-len-add, uint2bits-add-low-01, uint2bits-add-high-01, uint2bits-2potrec, int2int-lastn-negpos, int2bits-rec-2pot-neg-02, int2bits-lslen-12, int2bits-lslen-09, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen-03, int2bits-lslen, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-len-pos-01, int2bits-len-mon, int2bits-len-mod2pot, int2bits-len-abs-01, int2bits-len-abs, int2bits-lelen-07, int2bits-lelen-06, int2bits-lelen-05, int2bits-lelen-03, int2bits-lelen, int2bits-fill-rest, int2bits-add-low, bits2uint-nle-01, bits2int8-03, bits2int8-02, bits2int8-01, bits2int8, bits2int16-03, bits2int16-02, bits2int-nls-01, bits2int-nls, bits2int-nle, bits2int-le8-01, bits2int-le8,
• nat-basic1/less-1 is used by int2bits-lslen,
• nat-basic1/lf is used by int2bits-lelen-06, int2bits-lelen-05,
• nat-basic1/lf-01 is used by int2bits-lslen-06, int2bits-lslen-05, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-len-range, int2bits-lelen-05, bits2int8-01, bits2int8, bits2int-le8-01, bits2int-le8,
• nat-basic1/lf-02 is used by int2bits-lslen-06, int2bits-lslen-05, bits2int8-01, bits2int8,
• nat-basic1/ls-02 is used by uint2bits-2potrec, int2bits-leneq-pos, int2bits-lelen-06, bits2int8-03, bits2int8-02, bits2int-nls-01, bits2int-le8-01,
• nat-basic1/one is used by uint2bits-len-mon, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-leneq-pos, int2bits-leneq-neg, int2bits-lelen-06, int2bits-leading-sgn, int2bits-add-low, bits2int-le8-01,
• nat-basic1/one-01 is used by uint2bits-mod2pot, uint2bits-len-mon, int2bits-lslen-05, int2bits-lslen, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-range, int2bits-lelen-06, int2bits-lelen-05, bits2int-nls-02,
• nat-basic1/ref-1 is used by uint2bits-len-mon-02, uint2bits-len-mon-01, uint2bits-len-mon, ubits2ubits-def, ubits2bits, int2int-lastn-pospos, int2int-lastn-posneg, int2int-lastn-negneg, int2bits-lslen-06, int2bits-lslen-05, int2bits-lslen, int2bits-less-2pot, int2bits-lelen-05, bits2uint-zeros, bits2uint-succ, bits2uint-split, bits2uint-ones, bits2uint-not-zero, bits2uint-not-neg, bits2uint-nle-01, bits2uint-inv-neg, bits2int-zero-02, bits2int-nls, bits2int-nle,
• nat-basic1/trans is used by uint2bits-2potrec,
• nat-basic1/trans-1 is used by int2bits-lelen-06, int2bits-lelen-05,
• nat-basic1/twols-01 is used by int2bits-leneq-pos, int2bits-leneq-neg,
• nat-basic1/twols-02 is used by int2bits-lelen-06, int2bits-lelen-05,
• nat-basic1/z is used by uint2bits-mod2pot, uint2bits-add-low, uint2bits-2pot-05, int2int-neg, int2bits-lslen-06, int2bits-lslen-05, int2bits-less-2pot-01, int2bits-less-2pot, int2bits-len-neg, int2bits-add-low,
• nat-basic1/zero is used by int2bits-leneq-pos, int2bits-leneq-neg,

Used from specification int-div

• int-div/div-add-nosucc-neg is used by int2bits-rec-2pot-neg-03,
• int-div/div-add-succ-neg is used by int2bits-rec-2pot-neg-03,
• int-div/div-eq-zero-01 is used by int2bits-rec-2pot-neg-02,
• int-div/div-two is used by uint2bits-mod2pot, ubits2ubits-def,
• int-div/div-zero is used by uint2bits-div2pot,
• int-div/div-zero-ngr is used by int2bits-rec-2pot-neg-02,
• int-div/div2-add-neg is used by uint2bits-add-low, uint2bits-add-high,
• int-div/diveq-pos is used by uint2bits-mod2pot-01,
• int-div/mod-grz is used by int2bits-rec-2pot-neg-02,
• int-div/mod-grz-01 is used by int2bits-rec-2pot-neg-02,
• int-div/mod-les is used by int2bits-rec-2pot-neg-02, int2bits-len-mod2pot,
• int-div/mod-neg-01 is used by int2bits-rec-2pot-neg-02,
• int-div/mod-succ is used by uint2bits-mod2pot,
• int-div/mod-two-02 is used by uint2bits-restsgn,
• int-div/mod-two-03 is used by uint2bits-restsgn,
• int-div/mod-two-pred is used by uint2bits-2pot-neg-mone,
• int-div/mod-twoeven is used by uint2bits-mod2pot,
• int-div/mod-twoodd-01 is used by uint2bits-mod2pot,
• int-div/mod-zero-01 is used by uint2bits-mod2pot,
• int-div/mod-zero-02 is used by int2bits-len-mod2pot,
• int-div/mod-zero-03 is used by int2int-lastn-pospos,
• int-div/mod-zero-05 is used by int2int-lastn-negpos, int2int-lastn-negneg,
• int-div/mod-zero-06 is used by int2bits-mod2-len,
• int-div/mod2-add-neg is used by uint2bits-add-low, uint2bits-add-high,
• int-div/modeq-neg is used by int2int-lastn-negneg,
• int-div/modeq-neg-02 is used by int2int-lastn-negpos,
• int-div/modeq-pos is used by uint2bits-mod2pot-01, int2int-lastn-pospos, int2int-lastn-posneg, int2bits-mod2pot,
• int-div/modex is used by uint2bits-add-high, int2int-lastn-negpos, int2int-lastn-2pot, int2bits-rec-neg-02, int2bits-rec-2pot-neg-01,
• int-div/num-ls is used by uint2bits-len, uint2bits-div2pot,
• int-div/two-mult-01 is used by uint2bits-restsgn,
• int-div/two-odd is used by uint2bits-2pot-neg-mone, uint2bits-2pot-02,
• int-div/abs is used by uint2uint-pos, uint2uint-inv, uint2bits-second, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, int2bits-rec-neg,
• int-div/div-add-pos is used by uint2bits-succ,
• int-div/div-elim is used by uint2bits-mod2pot, uint2bits-div2pot-01,
• int-div/div-elim-negpos is used by int2bits-rec-neg-03, int2bits-mod2-neg, int2bits-mod2-len,
• int-div/div-elim-pos is used by uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-01, uint2bits-inj, uint2bits-div2pot-01, uint2bits-add-low, uint2bits-add-high,
• int-div/div-elim-pospos is used by uint2bits-falsein-01, int2bits-rec-2pot-pos, int2bits-mod2-len,
• int-div/div-elim2 is used by uint2bits-add-high, int2bits-rec-neg,
• int-div/div-lezero is used by uint2uint-inv, uint2bits-second, uint2bits-falsein-01, int2bits-rest, int2bits-neg-03,
• int-div/div-ls-zero is used by int2bits-rest,
• int-div/div-mult-03 is used by uint2bits-succ, uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-add-high, ubits2ubits-def, int2bits-rec-neg-03, int2bits-rec-neg, int2bits-rec-2pot-neg-01,
• int-div/div-mult-num is used by uint2bits-2pot-neg-mone,
• int-div/div-same is used by uint2bits-2potrec,
• int-div/div-sub is used by int2bits-rec-neg,
• int-div/div-two is used by uint2bits-mod2pot, uint2bits-add-high,
• int-div/div-two-zero is used by uint2bits-second, uint2bits-inj, uint2bits-falsein, uint2bits-expos1,
• int-div/div-two-zero-01 is used by uint2uint-pos, uint2bits-zero-01, uint2bits-succ, uint2bits-second, uint2bits-restsgn, uint2bits-not-one, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-inj, uint2bits-first, uint2bits-falsein-01, uint2bits-falsein, uint2bits-expos1, uint2bits-eq, uint2bits-add-low, uint2bits-add-high, int2bits-rec-pos, int2bits-rec-neg, int2bits-neg-03, int2bits-len-one,
• int-div/div2-neg is used by int2bits-rec-neg,
• int-div/div2-neg-odd is used by uint2bits-add-high, int2bits-rec-neg-02,
• int-div/div2-nle is used by uint2uint-inv, uint2bits-second, uint2bits-mod2pot, uint2bits-len-01, uint2bits-len, uint2bits-falsein-01, uint2bits-div2pot,
• int-div/div2-nle-01 is used by uint2bits-pred,
• int-div/div2-notzero is used by uint2bits-add-high,
• int-div/div2-odd-01 is used by int2bits-rec-neg,
• int-div/div2one is used by uint2uint-pos, uint2bits-inj,
• int-div/div2one-01 is used by uint2uint-inv,
• int-div/div2zero is used by uint2uint-inv, uint2bits-inj,
• int-div/ls-same-pos-02 is used by uint2bits-len-mon,
• int-div/minus-add is used by uint2bits-add-high,
• int-div/mod-less-01 is used by uint2bits-mod2pot, uint2bits-div2pot-01,
• int-div/mod-mult-04 is used by int2int-lastn-negpos,
• int-div/mod-mult-neg is used by int2bits-mod2-neg,
• int-div/mod-neg-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03,
• int-div/mod-ngr is used by int2bits-mod2-len,
• int-div/mod-one is used by uint2bits-mod2pot,
• int-div/mod-same is used by uint2bits-2potrec,
• int-div/mod-two is used by uint2uint-pos, uint2bits-succ, uint2bits-second, uint2bits-mod2pot, uint2bits-inj,
• int-div/mod-two-02 is used by uint2bits-succ, uint2bits-pred, uint2bits-mod2pot, uint2bits-add-high, uint2bits-2pot-neg-mone, ubits2ubits-def,
• int-div/mod-two-03 is used by uint2bits-pred,
• int-div/mod-two-04 is used by uint2bits-mod2pot, ubits2ubits-def,
• int-div/mod-two-05 is used by uint2bits-pred,
• int-div/mod-two-06 is used by uint2bits-2pot-neg-mone,
• int-div/mod2-neg-odd is used by uint2bits-add-high, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-02, int2bits-rec-neg-01, int2bits-mod2,
• int-div/modeven-pos is used by uint2bits-succ,
• int-div/mult is used by uint2bits-add-low, int2bits-mod2pot,
• int-div/neg-01 is used by uint2bits-add-low, uint2bits-add-high, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03,
• int-div/num-ls is used by uint2uint-pos, uint2bits-pred, uint2bits-len-mon, uint2bits-inj, uint2bits-first,
• int-div/nummult-le is used by uint2bits-restsgn,
• int-div/nummult-le-01 is used by bits2uint-not-neg,
• int-div/nummult-le-02 is used by uint2bits-restsgn,
• int-div/nummult-ls is used by uint2bits-restsgn, uint2bits-len-01, uint2bits-add-high, int2bits-rec-neg,
• int-div/nummult-ls-02 is used by uint2bits-restsgn, uint2bits-pred, uint2bits-mod2pot, uint2bits-len-mon, uint2bits-len-01, uint2bits-len, uint2bits-div2pot, uint2bits-add-low, uint2bits-add-high, uint2bits-2pot-neg-mone, ubits2ubits-def, int2int-neg, int2bits-restsgn, int2bits-lslen-08, int2bits-lslen-07, int2bits-len-range, int2bits-len-pos-pred, int2bits-len-pos, int2bits-len-neg, int2bits-len-eq, int2bits-lelen, bits2int-le8-01, bits2int-le8,
• int-div/nummult-ls-03 is used by uint2bits-restsgn,
• int-div/nummult-modls is used by uint2bits-add-high,
• int-div/one is used by uint2bits-div2pot,
• int-div/two-even is used by uint2uint-pos, uint2bits-inj, int2bits-rec-neg-02,
• int-div/two-odd is used by uint2bits-pred,

Used from specification bitopsaux

• bitopsaux/fill-empty is used by uint2bits-len-add,
• bitopsaux/fill-fill is used by int2bits-rec-2pot-neg-02,
• bitopsaux/fill-first is used by int2uint-fill, int2bits-fillfirst, int2bits-add-high,
• bitopsaux/fill-in is used by bits2uint-zero-01,
• bitopsaux/fill-last is used by uint2bits-add-low,
• bitopsaux/fill-length is used by uint2bits-len-add,
• bitopsaux/fill-rec is used by int2bits-fillsgn, int2bits-fill-rest,
• bitopsaux/fill-rec-one is used by uint2bits-add-low,
• bitopsaux/fill-sgn-01 is used by uint2bits-2potrec, int2bits-rec-2pot-neg-02,
• bitopsaux/fill-sgn-03 is used by uint2bits-add-high-01,
• bitopsaux/fillsgn-longer is used by uint2bits-2potrec, int2bits-rec-2pot-neg-02,
• bitopsaux/inv-fill is used by int2bits-rec-2pot-neg-02,
• bitopsaux/inv-intro is used by uint2bits-inv, uint2bits-falsein,
• bitopsaux/inv-inv is used by uint2bits-falsein,
• bitopsaux/inv-rec-01 is used by uint2bits-falsein,
• bitopsaux/inv-sgn is used by int2bits-rec-neg, bits2bits-invert, bits2bits-def,
• bitopsaux/invert-rest is used by int2bits-rec-2pot-neg-02,
• bitopsaux/sgn-append-01 is used by int2bits-sgn-02, int2bits-rec-2pot-neg-02, int2bits-add-high,
• bitopsaux/sgn-append-02 is used by bits2bits-def,
• bitopsaux/sgn-append-05 is used by int2bits-falsein-01, int2bits-add-high,
• bitopsaux/sgn-append-06 is used by int2bits-falsein-01, int2bits-2pot-04,
• bitopsaux/sgn-base-03 is used by int2bits-falsein-01, int2bits-bits2unit, int2bits-add-high,
• bitopsaux/sgn-ex is used by bits2int-sgn,
• bitopsaux/sgn-fill is used by uint2bits-add-high-02, bits2int-fill,
• bitopsaux/sgn-first-04 is used by uint2bits-sgn-first,
• bitopsaux/sgn-in-01 is used by int2bits-truein, int2bits-ones,
• bitopsaux/sgn-last is used by uint2bits-succ, uint2bits-mod2pot, ubits2ubits-def,
• bitopsaux/sgn-last-01 is used by uint2bits-succ, uint2bits-mod2pot, ubits2ubits-def, bits2bits-def,
• bitopsaux/sgn-last-03 is used by uint2bits-restsgn,
• bitopsaux/sgn-last-04 is used by int2bits-rest,
• bitopsaux/sgn-last-diff is used by uint2bits-sgn-false-01, uint2bits-restsgn, uint2bits-pred, uint2bits-add-high, int2bits-rec-neg,
• bitopsaux/sgn-length-03 is used by bits2int-nls,
• bitopsaux/sgn-mklist-03 is used by uint2bits-add-high,
• bitopsaux/sgn-negint is used by uint2bits-sgn-2pot, int2int-inj,
• bitopsaux/sgn-nls is used by int2int-lastn-negpos,
• bitopsaux/sgn-one-01 is used by int2bits-true, int2bits-neg-03, int2bits-eq,
• bitopsaux/sgn-rec-01 is used by uint2bits-sgn-false, uint2bits-add-high-02, int2bits-falsein-01, bits2int-neg-1bit-01, bits2int-neg-1bit,
• bitopsaux/sgn-true is used by int2bits-rest, int2bits-falsein-01,
• bitopsaux/sgn-zero is used by ubits2ubits-def,
• bitopsaux/succ-exinv is used by int2bits-truein, int2bits-falsein-01, bits2bits-def,
• bitopsaux/succ-falsein-02 is used by uint2bits-falsein,
• bitopsaux/succ-fill is used by int2bits-rec-2pot-neg-02,
• bitopsaux/succ-len is used by int2uint-neg, int2bits-rec-2pot-neg-02, int2bits-len-neg, bits2int-split-01, bits2int-nls,
• bitopsaux/succ-rec-01 is used by int2bits-rest, int2bits-neg-03, bits2uint-succ,
• bitopsaux/succ-rest is used by int2bits-rec-2pot-neg-02,
• bitopsaux/succ-zero-01 is used by int2int-inj, bits2int-ones-02,
• bitopsaux/succ-zero-02 is used by int2bits-rec-2pot-neg-02, bits2int-rec-03,
• bitopsaux/succ-zero-03 is used by uint2bits-add-high, bits2int-ones-02,
• bitopsaux/succ-zeros is used by bits2int-split-01,
• bitopsaux/succ-zeros-01 is used by int2bits-2pot-04, bits2bits-def,
• bitopsaux/fill-empty is used by uint2bits-len-add, uint2bits-add-high-02, int2uint-fill, int2bits-rec-2pot-neg-02, int2bits-add-high,
• bitopsaux/fill-first is used by uint2bits-add-high-02,
• bitopsaux/fill-one is used by uint2bits-add-low-01,
• bitopsaux/fill-one-01 is used by uint2bits-len-add, uint2bits-2potrec, int2bits-rec-2pot-neg-01, int2bits-fill-rest,
• bitopsaux/fill-one-02 is used by uint2bits-add-low-01, uint2bits-add-low, int2bits-fill-rest, int2bits-add-low,
• bitopsaux/fill-rec-one is used by int2bits-mod2,
• bitopsaux/fill-refill is used by uint2bits-add-low-01,
• bitopsaux/fill-size is used by int2bits-fillsgn,
• bitopsaux/fill-zero is used by uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, int2bits-add-high,
• bitopsaux/fillsgn-empty is used by uint2bits-add-high-02, uint2bits-add-high-01, int2bits-rec-2pot-neg-02, int2bits-add-high,
• bitopsaux/inv-append is used by uint2uint-inv, uint2bits-pred, uint2bits-inv, uint2bits-falsein, ubits2bits, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-2pot-04, bits2uint-inv-neg, bits2int-zeros-01, bits2int-split-01, bits2int-sign, bits2int-rec-false, bits2int-rec-03, bits2int-rec-01, bits2int-ones-02, bits2int-mklist-01, bits2int-lasteq, bits2bits-def,
• bitopsaux/inv-empty is used by uint2uint-inv-01, uint2int-rest, uint2bits-falsein, ubits2bits, int2uint-inv, int2bits-truein, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-neg-03, int2bits-inv-first, int2bits-falsein-01, bits2uint-inv-pos, bits2int-split-01, bits2int-rec-03, bits2int-range, bits2int-ones-02, bits2int-lasteq, bits2int-inv, bits2int-first,
• bitopsaux/inv-false is used by uint2bits-pred, uint2bits-inv, uint2bits-falsein, ubits2bits, int2bits-rec-2pot-neg-02, int2bits-lslen-08, bits2uint-inv-neg, bits2int-rec-false, bits2int-lasteq,
• bitopsaux/inv-first is used by int2bits-inv-first, int2bits-falsein-01,
• bitopsaux/inv-first-01 is used by int2bits-falsein-01,
• bitopsaux/inv-in is used by int2bits-neg-03,
• bitopsaux/inv-in-01 is used by uint2bits-pred, uint2bits-inv, uint2bits-falsein, int2uint-neg, int2int-inj, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-len-neg, int2bits-falsein-01, bits2int-split-01, bits2int-rec-03, bits2int-ones-02, bits2int-nls, bits2bits-def,
• bitopsaux/inv-in-02 is used by int2bits-truein, int2bits-rec-2pot-neg-02, int2bits-falsein-01, bits2uint-zeros-01, bits2int-sign, bits2int-ones-02, bits2bits-def,
• bitopsaux/inv-inv is used by uint2bits-pred, uint2bits-inv, int2uint-neg, int2int-inj, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-len-neg, int2bits-falsein-01, bits2int-split-01, bits2int-ones-02, bits2int-nls, bits2int-inv, bits2bits-def,
• bitopsaux/inv-last-01 is used by bits2int-ones-02,
• bitopsaux/inv-len is used by uint2int-rest, int2uint-neg, int2bits-rec-2pot-neg-02, int2bits-len-neg, bits2int-split-01, bits2int-rec-03, bits2int-range, bits2int-nls,
• bitopsaux/inv-mklist is used by uint2bits-sgn-2pot-01, int2bits-rec-2pot-neg-02, int2bits-2pot-04, int2bits-2pot-01, bits2int-mklist-02, bits2int-mklist-01, bits2bits-2pot-01,
• bitopsaux/inv-one is used by uint2uint-inv, uint2bits-pred, int2bits-rest, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-neg-03, bits2int-lasteq,
• bitopsaux/inv-one-01 is used by uint2uint-inv, uint2bits-pred, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, ubits2bits, int2int-rest-01, int2int-lastn-negneg, int2bits-true, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-neg-01, int2bits-len-eq, int2bits-lelen-04, int2bits-fill-rest, int2bits-falsein-02, int2bits-falsein-01, int2bits-add-low, int2bits-add-high, bits2uint-inv-neg, bits2int-rec-03, bits2int-rec-01, bits2int-one, bits2int-lasteq, bits2bits-mone,
• bitopsaux/inv-rest is used by int2bits-rec-2pot-neg-02,
• bitopsaux/invert-base is used by uint2bits-falsein, ubits2bits, int2unit-inv-rest, int2bits-falsein-01, bits2uint-inv-neg, bits2int-rec-03, bits2bits-def,
• bitopsaux/invert-one is used by uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-pred, int2uint-neg, int2int-inj, int2bits-ones, int2bits-lslen-08, int2bits-len-neg, int2bits-first, int2bits-exneg, int2bits-2pot-01, bits2uint-inv-pos, bits2int-zeros-01, bits2int-zero-01, bits2int-split-01, bits2int-sign, bits2int-rec-false, bits2int-rec-03, bits2int-rec-01, bits2int-range, bits2int-ones-02, bits2int-ones-01, bits2int-neg-1bit-01, bits2int-neg-1bit, bits2int-neg-03, bits2int-neg-02, bits2int-neg-01, bits2int-mklist-02, bits2int-mklist-01, bits2int-lasteq, bits2int-inv, bits2int-first, bits2int-2pot, bits2bits-def, bits2bits-2pot-01,
• bitopsaux/invert-zero is used by uint2uint-inv, uint2int-rest, uint2bits-sgn-first, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-pred, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, int2uint-neg, int2int-rest-01, int2int-lastn-negneg, int2int-inj, int2bits-true, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-neg-01, int2bits-len-neg, int2bits-len-eq, int2bits-lelen-04, int2bits-first, int2bits-fill-rest, int2bits-falsein-02, int2bits-falsein-01, int2bits-exneg, int2bits-add-low, int2bits-add-high, int2bits-2pot-01, bits2int-zeros-01, bits2int-sign, bits2int-inv, bits2bits-mone, bits2bits-def,
• bitopsaux/sgn-2pot is used by uint2bits-sgn-2pot-01, uint2bits-restsgn, int2bits-add-high, int2bits-2pot-01,
• bitopsaux/sgn-append is used by uint2bits-succ, uint2bits-restsgn, uint2bits-mod2pot, ubits2ubits-def,
• bitopsaux/sgn-base-01 is used by uint2bits-add-high, int2bits-exneg, bits2bits-def,
• bitopsaux/sgn-base-02 is used by uint2bits-succ, uint2bits-sgn-02, uint2bits-sgn-01, uint2bits-sgn, uint2bits-add-high, ubits2ubits-neg, int2bits-add-high,
• bitopsaux/sgn-base-04 is used by int2uint-neg, int2int-inj, int2bits-len-neg, int2bits-falsein-01, int2bits-exneg,
• bitopsaux/sgn-empty is used by uint2bits-add-high-02, uint2bits-add-high-01, uint2bits-add-high, int2bits-neg-03, int2bits-add-high, bits2int-sgn,
• bitopsaux/sgn-empty-01 is used by uint2bits-add-high, int2int-lastn-negpos, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-not-empty, int2bits-falsein-01, bits2int-le8-01, bits2int-le8,
• bitopsaux/sgn-first is used by bits2int-sgn,
• bitopsaux/sgn-first-01 is used by bits2int-le8,
• bitopsaux/sgn-first-02 is used by int2bits-first,
• bitopsaux/sgn-in-02 is used by uint2bits-sgn-first, bits2int-sgn,
• bitopsaux/sgn-length is used by bits2int-le8-01, bits2int-le8,
• bitopsaux/sgn-length-02 is used by bits2uint-nle,
• bitopsaux/sgn-mklist is used by bits2int-sgn,
• bitopsaux/sgn-mklist-01 is used by uint2bits-mod2pot, uint2bits-add-high-02, uint2bits-add-high,
• bitopsaux/sgn-mklist-02 is used by uint2bits-mod2pot, uint2bits-add-high,
• bitopsaux/sgn-mklist-05 is used by uint2bits-add-high-02, uint2bits-add-high, int2bits-add-high,
• bitopsaux/sgn-not-empty-01 is used by uint2bits-succ, bits2int-sgn,
• bitopsaux/sgn-notsame is used by int2bits-truetrue,
• bitopsaux/sgn-notsame-01 is used by int2bits-truetrue-01,
• bitopsaux/sgn-one is used by uint2bits-sgn-false, uint2bits-sgn-01, uint2bits-restsgn, uint2bits-mod2pot, ubits2ubits-def, int2bits-sgn,
• bitopsaux/sgn-one-01 is used by bits2int-le8,
• bitopsaux/sgn-rec is used by uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, uint2bits-pred, uint2bits-mod2pot, uint2bits-add-high, int2uint-neg, int2int-inj, int2bits-lslen-08, int2bits-len-neg, int2bits-falsein-01, int2bits-exneg, int2bits-add-high, int2bits-2pot-01, bits2bits-def,
• bitopsaux/sgn-sgn is used by int2bits-sgn, int2bits-rec-2pot-neg-02,
• bitopsaux/sgn-sgn-01 is used by int2bits-sgn-02, int2bits-rec-neg, bits2bits-def,
• bitopsaux/sgn-true is used by bits2int-ones,
• bitopsaux/sgn-true-mklist is used by int2bits-add-low, int2bits-add-high,
• bitopsaux/sgn-two is used by uint2bits-succ, uint2bits-pred, uint2bits-mod2pot, ubits2ubits-def,
• bitopsaux/sgn-two-01 is used by uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, int2int-rest-01, int2int-lastn-negneg, int2bits-true, int2bits-restsgn, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-neg-01, int2bits-len-eq, int2bits-lelen-04, int2bits-fill-rest, int2bits-falsein-02, int2bits-add-low, int2bits-add-high, bits2bits-mone,
• bitopsaux/sgn-two-02 is used by uint2bits-succ, uint2bits-pred, uint2bits-mod2pot, uint2bits-add-high,
• bitopsaux/sgn-two-03 is used by uint2bits-restsgn, int2bits-restsgn, int2bits-lslen-08,
• bitopsaux/sgn-zeros is used by bits2bits-def,
• bitopsaux/succ-empty is used by bits2uint-succ, bits2int-rec-03,
• bitopsaux/succ-empty-01 is used by uint2bits-sgn-first, int2bits-true, int2bits-rest, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-not-empty, int2bits-neg-03, int2bits-eq, bits2int-split-01, bits2int-nls,
• bitopsaux/succ-falsein-01 is used by int2bits-ones,
• bitopsaux/succ-inv2x is used by int2int-inj,
• bitopsaux/succ-length is used by bits2int-nls,
• bitopsaux/succ-mklist is used by uint2bits-sgn-2pot-01, int2bits-2pot-01, bits2bits-2pot-01,
• bitopsaux/succ-mklist-01 is used by int2bits-2pot-04,
• bitopsaux/succ-one is used by uint2bits-succ, uint2bits-sgn-2pot, int2uint-neg, int2int-inj, int2bits-len-neg, int2bits-exneg, bits2int-rec-03, bits2int-ones-02, bits2int-one, bits2int-2pot, bits2bits-def,
• bitopsaux/succ-ones is used by int2uint-neg, int2bits-rec-2pot-neg-02, int2bits-len-neg, bits2int-split-01, bits2int-nls,
• bitopsaux/succ-prefix is used by uint2bits-sgn-first, uint2bits-sgn-2pot-01, uint2bits-sgn-2pot, int2uint-neg, int2int-inj, int2bits-ones, int2bits-len-neg, int2bits-first, int2bits-exneg, int2bits-2pot-01, bits2int-sign, bits2bits-def,
• bitopsaux/succ-rec is used by uint2bits-succ, uint2bits-pred, int2bits-rec-neg, int2bits-lslen-08, bits2int-rec-false, bits2int-lasteq,
• bitopsaux/succ-truein-01 is used by uint2bits-succ, uint2bits-pred, int2int-inj, int2bits-sgn-02, int2bits-rest, int2bits-rec-neg, int2bits-neg-03, int2bits-eq, int2bits-2pot-04, bits2bits-def,
• bitopsaux/succ-zero is used by uint2bits-succ, uint2bits-pred, uint2bits-add-low-01, uint2bits-add-low, uint2bits-add-high-01, uint2bits-add-high, int2int-rest-01, int2int-lastn-negneg, int2bits-true, int2bits-rest, int2bits-rec-neg-03, int2bits-rec-neg-01, int2bits-rec-neg, int2bits-rec-2pot-neg-02, int2bits-ones, int2bits-neg-03, int2bits-mone-02, int2bits-mone-01, int2bits-mone, int2bits-mod2-neg, int2bits-mod2-len, int2bits-mod2, int2bits-lslen-08, int2bits-lslen-07, int2bits-lslen-05, int2bits-lslen-04, int2bits-len-pos-pred, int2bits-len-neg-01, int2bits-len-eq, int2bits-lelen-04, int2bits-fill-rest, int2bits-falsein-02, int2bits-falsein-01, int2bits-add-low, int2bits-add-high, bits2uint-succ, bits2int-rec-03, bits2int-rec-01, bits2int-lasteq, bits2bits-mone, bits2bits-def,
• bitopsaux/succ-zero-01 is used by int2bits-2pot-04, bits2int-ones-02, bits2bits-def,
• bitopsaux/succ-zero-02 is used by uint2bits-sgn-2pot, int2int-inj, int2bits-exneg, bits2int-split-01, bits2bits-def,
• bitopsaux/succ-zeros is used by uint2bits-sgn-2pot, int2uint-neg, int2int-inj, int2bits-rec-2pot-neg-02, int2bits-len-neg, int2bits-exneg, bits2int-rec-03, bits2int-2pot, bits2bits-def,
• bitopsaux/succ-zeros-01 is used by int2int-inj, bits2int-ones-02, bits2bits-def,
• bitopsaux/succ-zeros-03 is used by bits2int-mklist-02,