[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Used simplifier rules/spec theorems by specification

Used from specification store

store/javastore/At-other is used by at-1dim-other-index-01,
store/javastore/Extension is used by union-addarray-rew, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, addarray-put-01, addarray-identity, addarray-addaray,
store/javastore/In-insert is used by putByteArray-vals-addarray-01, in-add, addarray-mode,
store/javastore/Subset is used by subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, subset-addarray-01, subset-addarray, stsubset-03, addarray-subset,
store/javastore/in-neq is used by in-init-06, in-1dim-other-index-01, in-1dim-12,
store/javastore/notmemlookup is used by subset-putarray-addarray-newref,
store/javastore/rew is used by shift-1init-01, shift-1init, shift-1dim-01, shift-1dim, putarray-add-butlast, move-initvals, init-switch, init-last, addarray-mklist-05, addarray-lastrec, add-put-switch, add-lastrec,
store/javastore/superset-elem-eq is used by subset-putarray-addarray-newref,
store/javastore/At-other is used by putarray-addarray-01, addarray-put-01,
store/javastore/At-same is used by putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, getarray-addarray-03, addarray-put-01,
store/javastore/In-insert is used by type-in, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, length-init, length-1dim-02, in-init-09, in-init-08, in-init-06, in-1dim-15, in-1dim-14, in-1dim-13, in-1dim-12, addarray-put-01, add-in,
store/javastore/In-store is used by okarray-init-basic-01, okarray-init-basic, okarray-init-07, okarray-init-04, okarray-1dim-basic-01, okarray-1dim-03, okarray-1dim-02, okarray-1dim-01, okarray-1dim, isobj-addarray-other-01, isobj-addarray, init-1dim-05, init-1dim-04, in-init, in-1dim, add-okarray,
store/javastore/in-pair is used by okarray-init-basic-01, okarray-init-05, okarray-init-04, okarray-1dim-04, init-1dim-04, in-init, in-1dim, addbar-okarray-01, add-okarray,
store/javastore/ins3 is used by getBar-2-put, addarray-mklist-05, add-lastrec,
store/javastore/insin is used by addarray-put-01,
store/javastore/insins is used by putarray-addarray, putarray-add-same-02, putarray-add-butlast, move-initvals, init-switch, getBar-2-put, add-put-switch,
store/javastore/notmemlookup is used by union-addarray-rew, stsubset-03, putarray-addarray-one, isarray-addarray-other, addarray-identity,
store/javastore/sub-ref is used by subset-putarray-addarray-newref, stsubset-02, stsubset-01, stsubset,
store/javastore/subset-elem-eq-02 is used by subset-putarray2-put-addarray-newref-01-01, subset-addarray,
store/javastore/subset-put-strong-04 is used by addarray-both-subset,
store/javastore/superset-elem-in-01 is used by subset-putarray2-put-addarray-newref-01-01, subset-addarray,

Used from specification list

list/javavalues/Last is used by putarray-add-butlast, getarray-addarray-03, get-add-02,
list/javavalues/Nil is used by init-last, getarray-addarray-03, addarray-put-01, addarray-lastrec,
list/javavalues/a is used by zero-1init-05, zero-1init, type-1init-01, switch-obj-01, switch-class-01, succ-1init, shift-1init-01, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-init, one-1init-02, one-1init-01-01, one-1init-01, one-1init, okarray-init-04, newref-1init, move-initvals-03, move-initvals-02, move-initvals-01, move-initvals, mode-1init, lookup-init-01, lookup-1init-01, length-1init, init-switch, init-last, init-at-01, init-1init-02, init-1init-01, init-1init, in-init-08, in-init-04, in-init-03, in-init-02, in-add, in-1init-05, in-1init-03, in-1init-01, getarray-addarray-03, get-add-02, atinit, addarray-put-01, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, addarray-is-putarray-01, add-lastrec, add-in-fskey,
list/intlista/a is used by addbar-refval-01,
list/bytelist/a is used by putbytearray-addarray-override, getbar-add-01, getBar-2-put,
list/javavalues/app is used by putbytearray-addarray-override, putarray-addarray-01, putarray-addarray, one-init,
list/javavalues/app-01 is used by get-add-02,
list/bytelist/app-01 is used by getbar-add-01, getBar-2-put,
list/bytelist/app-02-ant is used by putbytearray-addarray-override,
list/javavalues/app-02-ant is used by putarray-addarray, putarray-add-butlast, move-initvals-02, move-initvals, addarray-mklist-03, addarray-mklist-02,
list/javavalues/app-03 is used by getarray-addarray-03,
list/javavalues/c is used by zero-1init, type-1init-01, switch-obj-01, switch-class-01, succ-1init, shift-1init-01, putbytearray-addarray-override, newref-1init, move-initvals-02, move-initvals-01, mode-1init, lookup-init-01, lookup-1init-01, length-1init, init-switch, init-last, init-at-01, init-1init-02, init-1init-01, init-1init, in-init-08, in-init-04, in-init-03, in-init-02, in-1init-05, in-1init-03, in-1init-01, addarray-put-01, addarray-lastrec, addarray-is-putarray-01,
list/intlista/c is used by addbar-refval-01,
list/bytelist/c is used by putbytearray-addarray-override, getbar-add-01, getBar-2-put,
list/intlista/c-03 is used by addbar-refval-01,
list/javavalues/c-04 is used by getarray-addarray-03, get-add-02,
list/bytelist/c-07 is used by putbytearray-addarray-override,
list/javavalues/c-07 is used by move-initvals-02,
list/javavalues/c-08 is used by move-initvals-02,
list/bytelist/c-08 is used by putbytearray-addarray-override,
list/bytelist/e is used by putbytearray-addarray-override,
list/javavalues/e is used by putarray-add-butlast, move-initvals-02, move-initvals, addarray-mklist-03, addarray-mklist-02,
list/bytelist/e-01 is used by putbytearray-addarray-override,
list/intlista/e-01 is used by addbar-refval-01,
list/javavalues/e-01 is used by putbytearray-addarray-override, newref-1init, move-initvals-02, in-1init-05,
list/javavalues/e-02 is used by putarray-addarray, putarray-add-same-02, putarray-add-butlast, move-initvals, in-add, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, add-lastrec, add-in-fskey,
list/bytelist/len is used by putbytearray-addarray-override,
list/javavalues/len is used by zero-1init-05, succ-1init, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-1init-02, one-1init, okarray-init-04, move-initvals-03, move-initvals-02, move-initvals-01, move-initvals, init-last, init-at-01, in-add, atinit, addarray-put-01, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, add-lastrec, add-in-fskey,
list/intlista/len is used by addbar-refval-01,
list/bytelist/len-02 is used by putbytearray-addarray-override,
list/javavalues/len-02 is used by zero-1init-05, zero-1init-02, succ-1init, putbytearray-addarray-override, putarray-addarray-one, putarray-addarray, putarray-add-same-02, putarray-add-butlast, one-1init-02, one-1init, okarray-init-05, okarray-init-04, move-initvals-03, move-initvals-02, move-initvals-01, move-initvals, init-last, init-at-01, in-add, atinit, addarray-put-01, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, add-lastrec, add-in-fskey,
list/intlista/len-02 is used by addbar-refval-01,

Used from specification storefuns

storefuns/init-04 is used by addarray-init-01, addarray-init,
storefuns/init-existing is used by init-addarray, addarray-init-02,
storefuns/initdone is used by init-1dim-03,
storefuns/initerror is used by init-1dim-05,
storefuns/initundone is used by init-1dim-04,
storefuns/instore is used by in-1dim-09, in-1dim-06, in-1dim-04,
storefuns/lookup-staticfield is used by at-statfield,
storefuns/newref is used by newref-1dim,
storefuns/init-02 is used by init-1dim-03,
storefuns/init-03 is used by init-1dim-03,
storefuns/init-total is used by init-1dim-03,
storefuns/initdone-02 is used by init-1init,
storefuns/initdone-03 is used by init-1init-03, init-1dim, addarray-init-01,
storefuns/initdone-04 is used by init-1init-03, init-1dim, addarray-init-01,
storefuns/initdone-05 is used by addarray-init,
storefuns/initerror-02 is used by init-1init-02,
storefuns/initerror-03 is used by init-1init-05, init-1dim-02, add-init,
storefuns/initerror-04 is used by init-1init-05, init-1dim-02, add-init,
storefuns/initundone-02 is used by init-1init-01,
storefuns/initundone-03 is used by init-1init-04, init-1dim-01,
storefuns/initundone-04 is used by init-1init-04, init-1dim-01,
storefuns/instore-01 is used by union-addarray-rew, subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, subset-addarray-01, subset-addarray, stsubset-03, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, okclass-init, okclass-1dim, okarray-init-basic-01, okarray-init-basic, okarray-copy, okarray-addarray-other, okarray-1dim-basic-01, okarray-1dim-03, okarray-1dim-02, okarray-1dim-01, okarray-1dim, okarray-06, okarray-02, okarray-01, newref-1dim, isobj-addarray-other-01, isobj-addarray-other, isobj-addarray, isarray-addarray-other, isarray-addarray-01, init-1dim-04, in-init-06, in-init-05, in-init-04, in-init-03, in-init-02, in-1dim-other-index-01, in-1dim-other-index, in-1dim-other, in-1dim-fskey, in-1dim-13, in-1dim-12, in-1dim-11, in-1dim-09, in-1dim-06, in-1dim-04, addarray-subset, addarray-put-01, addarray-identity, addarray-addaray, add-okarray, add-in-other, add-in-fskey,
storefuns/instore-02 is used by in-1init-05, in-1init-04, in-1init-03, in-1init-02, in-1init-01, in-1init, in-1dim-10, in-1dim-05, in-1dim-03, addarray-refs,
storefuns/newref-01 is used by union-addarray-rew, subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, subset-addarray-01, subset-addarray, stsubset-03, okarray-init-07, okarray-06, okarray-03, lookup-1init-02, lookup-1dim-06, lookup-1dim-02, at-statfield-01, addarray-subset, addarray-at-newref,
storefuns/newref-02 is used by newref-1init-01, newref-1init, newref-1dim-01,
storefuns/newref-03 is used by union-addarray-rew, subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, subset-addarray-01, stsubset-03, okarray-06, okarray-03, lookup-1dim-06, addarray-subset, addarray-at-newref,
storefuns/newref-in-01 is used by subset-addarray-01, okarray-06,
storefuns/newref-jvmref is used by endfinallymode-01, endfinallymode,
storefuns/refin is used by in-1dim-other-index-01,
storefuns/stsubset-new is used by subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, stsubset-02,

Used from specification int-basic2

Used from specification valuefuns

valuefuns/init_val_byte is used by okarray-copy, getbytearray-addarray-this,
valuefuns/init_val_int is used by getarray-addarray-04, getarray-addarray-02, atint21-1dim, atint20-1dim,
valuefuns/initial-value-02 is used by putarray-addarray-one,
valuefuns/okprimtype-byte is used by is_array-addarray-byte,
valuefuns/okprimtype-okval-01 is used by is_array-addarray-prim,
valuefuns/okval-byte is used by okbytearray-addarray-01,
valuefuns/refval-xtra is used by add-okarray,
valuefuns/typeval-xtra is used by isarray-addarray-other, addarray-identity,

Used from specification valuesfuns

valuesfuns/ints2bytes-at is used by getbar-addbar-02,
valuesfuns/isbytelist-all is used by okarray-init-07, okarray-04,
valuesfuns/mkvalues-butlast is used by addbar-refval-01,
valuesfuns/mkvalues-last is used by addbar-refval-01,
valuesfuns/vals-at is used by okarray-05, getbar-addbar-02, addbar-okarray-01,
valuesfuns/bytevals-at is used by getbar-addbar-02,
valuesfuns/bytevals-inj is used by addbytearray-rew,
valuesfuns/bytevalues-len is used by getbar-addbar-02,
valuesfuns/ibbis is used by addbytearray-rew,
valuesfuns/ints2bytes-butlast is used by addbar-refval-01,
valuesfuns/ints2bytes-empty-01 is used by addbar-refval-01,
valuesfuns/ints2bytes-len is used by getbar-addbar-02, addbar-refval-01, addbar-okarray-03, addbar-okarray-01, addbar-length,
valuesfuns/intvalues-mklist is used by getintarray-addarray-01, getintarray-addarray,
valuesfuns/mkjava-bvs is used by getbar-addbar-01,
valuesfuns/mkjava-empty is used by addbar-refval-01,
valuesfuns/mkjava-len is used by putByteArray-vals-addarray-01, putByteArray-vals-addarray, okarray-05, getbar-addbar-02, addbar-refval-01, addbar-okarray-03, addbar-okarray-01, addbar-length,
valuesfuns/mkjavavalues is used by is_array-addarray-byte,
valuesfuns/mkvalsb-empty is used by putbytearray-addarray-override, addbar-refval-01,
valuesfuns/mkvalsb-rec is used by putbytearray-addarray-override,

Used from specification fieldspec

fieldspec/elim is used by add-gft,
fieldspec/sel-03 is used by add-gft,

Used from specification intnat

intnat/add-01 is used by putarray-addarray-01, putByteArray-vals-addarray-01, getbar-addbar-02, get-add-02,
intnat/le-int-le-nat is used by putarray-addarray-override,
intnat/ls-int-ls-nat is used by putarray-addarray-override,
intnat/num-i2n-eq is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, move-initvals, addarray-put-01,
intnat/num-i2n-eq-01 is used by putarray-addarray-override, addarray-put-01,
intnat/num-i2n-le-01 is used by addarray-put-01,
intnat/num-i2n-le-02 is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray-lenput-primtype, okarray-05, okarray-04, get-add-02, addbar-okarray-01,
intnat/num-i2n-ls-02 is used by putarray-addarray-override, getbytearray-addarray-this, getarray-addarray-06,
intnat/num-n2i-ls is used by getbar-addbar-02,
intnat/num-n2i-ls-02 is used by putarray-addarray-override, okarray-addarray, is_array-addarray-prim, is_array-addarray-any, get-add-02,
intnat/num-n2i-ls-04 is used by putarray-addarray-override,
intnat/num-n2i-ls-06 is used by putarray-addarray-override,
intnat/abs-eq is used by getbytearray-addarray-this, getarray-addarray-06, addarray-put-01,
intnat/abs-succ-03 is used by in-1dim-15, getarray-addarray-03, at-1dim-01,
intnat/abs-zero is used by putarray-addarray-override, putarray-addarray, putByteArray-vals-addarray-01, getbytearray-addarray-this, getbar-addbar-02, getarray-addarray-06, addarray-put-01,
intnat/add-nonneg-int-to-nat is used by putarray-addarray-override, putByteArray-vals-addarray-01,
intnat/i2i-pos is used by putarray-addarray-01, addarray-put-01, addarray-addaray,
intnat/i2i-pos-01 is used by putarray-addarray-override, putarray-addarray-01, putarray-addarray, putByteArray-vals-addarray-01, putByteArray-vals-addarray, addarray-put-01, addarray-mklist-04, addarray-mklist-01, addarray-is-putarray, addarray-identity, addarray-addaray,
intnat/inj is used by putarray-addarray-override, addbar-okarray-03,
intnat/inni-le is used by putarray-addarray-override, putarray-addarray-01, addarray-put-01,
intnat/inni-ls is used by okarray-init-04,
intnat/labs is used by switch-addarray-addobj-01, switch-addarray-addclass-01, shift-1dim-01, putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, newref-1dim-01, lookup-1dim-01, in-1dim-other-index-01, in-1dim-15, in-1dim-13, in-1dim-07, in-1dim-02, getbar-add-01, getarray-addarray-05, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addarray-put-01, addarray-is-putarray, addarray-identity, addarray-addaray, add-put-switch, add-at-05,
intnat/labs-01 is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01, addarray-identity,
intnat/le is used by putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, okarray-init-07, okarray-init-04, okarray-addarray, okarray-05, okarray-04, isarray-addarray, get-add-01, addbar-refval-01,
intnat/n2i-add is used by zero-1init-05, switch-array, succ-1init, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-1init-02, okarray-init-04, move-initvals, init-last, init-at-01, in-add, addbar-refval-01, addarray-put-01, addarray-mode, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, addarray-both-subset, add-lastrec, add-at-gr,
intnat/n2i-sub is used by putarray-addarray-override,
intnat/n2n is used by putbytearray-addarray-override, putarray-addarray-override, okarray-init-07, okarray-init-04, okarray-addarray, move-initvals, is_array-addarray-01, get-add-01,
intnat/nat2int is used by zero-1init-05, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-1init-02, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray, okarray-05, okarray-04, move-initvals, isarray-addarray, is_array-addarray-01, init-at-01, getbytearray-addarray-this, getarray-addarray-06, get-add-01, addbar-refval-01, addbar-okarray-01, addarray-put-01, addarray-mklist-05, addarray-mklist-02,
intnat/nat2int-01 is used by putarray-addarray,
intnat/nat2int-04 is used by putarray-addarray-override, okarray-init-07, okarray-addarray, isarray-addarray, is_array-addarray-01, in-add, addbar-refval-01, add-at-gr,
intnat/nat2int-07 is used by init-last, addarray-put-01, addarray-lastrec,
intnat/nat2int-08 is used by putarray-addarray-override, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, okarray-init-07, okarray-addarray, in-add, add-at-neg,
intnat/nat2int-11 is used by get-add-02,
intnat/nat2int-13 is used by putarray-addarray,
intnat/num-i2n-le-02 is used by get-add-02,
intnat/num-i2n-ls is used by addarray-put-01,
intnat/num-n2i-eq-01 is used by putarray-addarray,
intnat/num-n2i-ls-02 is used by union-addarray-rew, succ-1init, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same-02, putarray-add-same, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray-lenput-primtype, okarray-addarray, okarray-05, okarray-04, isarray-init-02, isarray-init-01, isarray-addarray, is_array-addarray-prim, is_array-addarray-any, init-at-01, init-at, in-add, getbytearray-addarray-this, getarray-addarray-06, get-add-02, addbar-refval-01, addbar-refval, addbar-okarray-01, addarray-identity, add-at-gr,
intnat/num-n2i-ls-07 is used by putarray-addarray, okarray-init-04,
intnat/pos-add is used by addarray-mklist-03,
intnat/pos-int is used by putarray-addarray-one, in-add, getbar-addbar-02, add-at-gr,
intnat/rax is used by init-at-01, getarray-addarray-03, get-add-02, addarray-is-putarray,
intnat/rax-01 is used by get-add-02,
intnat/rax-04 is used by switch-addarray-addobj-01, switch-addarray-addclass-01, succ-1init, shift-1dim-01, putarray-addarray-one, newref-1dim-01, lookup-1dim-01, in-1dim-other-index-01, in-1dim-13, in-1dim-07, in-1dim-02, getbar-add-01, getarray-addarray-05, at-1dim-other-index-01, addarray-is-putarray, add-put-switch, add-at-05,

Used from specification int-abs

Used from specification okfuns

okfuns/gfts-all is used by isobj-addarray-other-01, isobj-addarray,
okfuns/good-field-02 is used by add-gft,
okfuns/is-any-array is used by isarray-addarray-other, isarray-addarray-02, isarray-addarray-01, isarray-addarray, isarray-add, addarray-negative,
okfuns/is-real-array-def is used by is_array-other-addarray, is_array-addarray-prim, is_array-addarray-any, is_array-addarray,
okfuns/is_array-norefval is used by is_array-addarray-01,
okfuns/isarray-notin-01 is used by addarray-identity,
okfuns/okarrayNotNull is used by okarray-putarray-addarray-put, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype, okarray-addarray, okarray-abstract, okarray-06, okarray-05, okarray-04, okarray-02, okarray-01, okarray, isarray-addarray-01, isarray-addarray, addarray-negative,
okfuns/okarrayOfLength is used by okarray-init-basic-01, okarray-init-basic, okarray-init-07, okarray-init-05, okarray-init-04, okarray-1dim-basic-01, okarray-1dim-04, okarray-1dim-03, okarray-1dim-02, okarray-1dim-01, okarray-1dim, addbar-okarray-01, add-okarray,
okfuns/okbytearray-01 is used by okbytearray-this, okbytearray-addarray-01, okbytearray-addarray, okbar-addarray,
okfuns/okclass is used by okclass-init, okclass-1dim,
okfuns/okreftype is used by okreftype-init-02, okreftype-init-01, okreftype-init, okreftype-1dim-02, okreftype-1dim-01, okreftype-1dim, okarray-putarray-addarray-put, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype,
okfuns/oktype-array is used by add-gft,
okfuns/oktype-class is used by add-gft,
okfuns/good-index is used by add-gft,
okfuns/is_array-null is used by is_array-addarray-byte,
okfuns/isarray-len is used by addarray-identity,
okfuns/isarray-lenfield is used by addarray-identity,
okfuns/isarray-length-07 is used by addarray-identity,
okfuns/isarray-null is used by is_array-addarray, addarray-identity,
okfuns/isarray-type is used by isarray-addarray-other,
okfuns/isarray-type-05 is used by addarray-identity,
okfuns/okarray-01 is used by addbar-okarray-03,
okfuns/okarray-02 is used by okarray-1dim-basic,
okfuns/okarray-04 is used by okbytearray-addarray,
okfuns/okarray-05 is used by okarray-copy, okarray-addarray-other, isarray-addarray-other, isarray-addarray-01, addarray-negative,
okfuns/okarray-intval-01 is used by okarray-copy,
okfuns/okarray-jvmref-01 is used by addbar-okarray-03,
okfuns/okarray-len is used by okarray-copy,
okfuns/okbar is used by okbytearray-addarray-02,
okfuns/oktype-02 is used by oktype-1dim-basic,
okfuns/oktype-03 is used by okarray-1dim-04, okarray,
okfuns/oktype-abstract is used by okarray-abstract,
okfuns/oktype-bool is used by okarray-1dim-03,
okfuns/oktype-byte is used by okarray-putarray-addarray-put, okarray-init-07, okarray-init-05, okarray-init-04, okarray-copy, okarray-1dim, okarray-06, okarray-05, okarray-04, okarray-02, addbar-okarray-01,
okfuns/oktype-int is used by okarray-1dim-02, okarray-01,
okfuns/oktype-okval is used by okarray-addarray-lenput-primtype, okarray-addarray, is_array-addarray-prim, is_array-addarray-any,
okfuns/oktype-put-other is used by okarray-addarray-lenput-primtype,
okfuns/oktype-short is used by okarray-1dim-01,
okfuns/oktype-st is used by oktype-init-basic-01, oktype-init-basic, oktype-addarray, oktype-1dim-basic-01, oktype-1dim-basic, okarray-init-basic-01, okarray-init-basic, okarray-addarray-other, okarray-1dim-basic-01, isarray-addarray-01, isarray-addarray, add-okarray,

Used from specification storekey

storekey/ex-03 is used by union-addarray-rew, putarray-addarray-override, in-1dim-17, addarray-addaray,
storekey/ex-04 is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01, add-gft,
storekey/disj is used by lookup-init-01, init-switch,
storekey/elim-03 is used by add-gft,
storekey/elim-04 is used by union-addarray-rew, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, in-1dim-other, at-1dim-other, addarray-put-01, addarray-identity, addarray-addaray, add-in-other, add-at-other,
storekey/inj-04 is used by one-1init-01-01, one-1init-01, move-initvals, init-switch, init-last, init-at-01, in-add, in-1dim-other-index-01, in-1dim-15, getBar-2-put, at-1dim-other-index-01, at-1dim-01, addbar-refval-01, addarray-put-01, addarray-lastrec, add-at-neg, add-at-gr,
storekey/sel-05 is used by add-gft,
storekey/sel-06 is used by putarray-addarray-01, putarray-add-same-02, putarray-add-same, putarray-add-butlast, okarray-putarray-addarray-put, addarray-put-01,
storekey/test is used by union-addarray-rew, subset-putarray2-put-addarray-newref-01-01, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, addarray-put-01, addarray-identity, addarray-addaray,
storekey/test-01 is used by union-addarray-rew, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, init-switch, in-1dim-other, at-1dim-other, addarray-put-01, addarray-identity, addarray-addaray, add-in-other, add-in-fskey, add-gft, add-at-other,
storekey/test-02 is used by union-addarray-rew, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, addarray-put-01, addarray-identity, addarray-addaray, add-in-fskey,
storekey/test-05 is used by putarray-addarray-override, out-1init-01, mode-1dim-01, lookup-1dim-04, init-switch, add-gft,
storekey/test-06 is used by putarray-addarray-01, putarray-add-same-02, putarray-add-same, putarray-add-butlast, okarray-putarray-addarray-put, init-switch, at-init, addarray-put-01, add-put-switch, add-in-fskey, add-at-05, add-at-04,
storekey/test-07 is used by union-addarray-rew, putarray-addarray-override, init-switch,
storekey/test-08 is used by union-addarray-rew, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, okarray-putarray-addarray-put, in-1dim-other, at-1dim-other, addarray-put-01, addarray-identity, addarray-addaray, add-in-other, add-at-other,

Used from specification fieldname

fieldname/inj is used by out-1init-01, mode,

Used from specification typefuns

typefuns/array is used by okarray-addarray-other,
typefuns/elemtype-06 is used by is_array-addarray,
typefuns/elemtype-07 is used by is_array-addarray-prim, is_array-addarray-any, is_array-addarray,
typefuns/is_primtype-01 is used by is_array-addarray-prim,
typefuns/is_primtype-02 is used by is_array-addarray-prim,
typefuns/isreftype-04 is used by is_array-addarray-01,
typefuns/le-06 is used by okarray-putarray-addarray-put, okarray-copy,
typefuns/prim-abstract is used by is_array-addarray-prim,
typefuns/prim-byte is used by is_array-addarray-byte,
typefuns/prim-void is used by is_array-addarray-prim,
typefuns/ref is used by okreftype-init-02, okreftype-1dim-02, okarray-addarray-lenput-primtype,
typefuns/subarray1 is used by okreftype-init-02, okreftype-1dim-02, okarray-putarray-addarray-put, okarray-copy, okarray-addarray-lenput-primtype,
typefuns/tdnameex-def is used by addarray-init-02,
typefuns/typeex-array is used by is_array-addarray-prim, is_array-addarray-any, is_array-addarray,

Used from specification nat-basic1

nat-basic1/f is used by putarray-addarray-override, putByteArray-vals-addarray-01, okarray-init-07, okarray-init-04, okarray-addarray, move-initvals, is_array-addarray-01, getbytearray-addarray-this, getbar-addbar-02, getarray-addarray-06, get-add-02, addarray-identity, addarray-at-other,
nat-basic1/lf-01 is used by move-initvals,
nat-basic1/lf-02 is used by putByteArray-vals-addarray-01,
nat-basic1/ls-02 is used by getbar-addbar-02,
nat-basic1/one is used by move-initvals-02, isarray-init-01, add-at-gr,
nat-basic1/one-01 is used by switch-array, addbar-refval-01, addarray-put-01, add-refs, add-at-neg, add-at-gr,
nat-basic1/ref-1 is used by putbytearray-addarray-override, putarray-addarray-override, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray, okarray-init-07, okarray-init-04, okarray-05, okarray-04, move-initvals, isarray-addarray, in-add, get-add-01, addbar-refval-01, add-refs, add-in-fskey, add-at-gr,
nat-basic1/trans is used by getbar-addbar-02,
nat-basic1/trans-1 is used by getbar-addbar-02,
nat-basic1/z is used by union-addarray-rew, succ-1init, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same-02, putarray-add-same, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray-lenput-primtype, okarray-addarray, okarray-05, okarray-04, move-initvals-01, isarray-init-02, isarray-init-01, isarray-addarray, is_array-addarray-prim, is_array-addarray-any, init-at-01, init-at, in-add, getbytearray-addarray-this, getarray-addarray-06, get-add-02, addbar-refval-01, addbar-refval, addbar-okarray-01, addarray-identity,

Used from specification int-basic1

int-basic1/forward-pos is used by isarray-init-01, get-add-02, addarray-put-01, add-at-gr,
int-basic1/ls-01 is used by putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, okarray-init-04, okarray-addarray-lenput-primtype, okarray-abstract, init-at-01, in-add, in-1dim-other-index-01, in-1dim-15, getbytearray-addarray-this, getarray-addarray-06, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addarray-put-01,
int-basic1/lst-01 is used by addarray-put-01,

Used from specification set-basic

set-basic/references/In-insert is used by addarray-refs,
set-basic/references/add-01 is used by add-refs,
set-basic/classnames/ne-01 is used by addarray-nouninit-01, addarray-nouninit,
set-basic/classnames/size-zero-01 is used by addarray-nouninit-01, addarray-nouninit,

Used from specification oelem

oelem/intlista/irreflexivity is used by switch-addarray-addobj-01, switch-addarray-addclass-01, shift-1dim-01, putarray-addarray, newref-1dim-01, lookup-1dim-01, in-1dim-other-index-01, in-1dim-15, in-1dim-13, in-1dim-07, in-1dim-02, getbar-add-01, getarray-addarray-05, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addarray-put-01, addarray-is-putarray, add-put-switch, add-at-05,
oelem/intlista/lel is used by putarray-addarray-one, putarray-addarray, in-add, in-1dim-other-index-01, in-1dim-15, getarray-addarray-05, at-1dim-other-index-01, at-1dim-01,
oelem/intlista/ls-le is used by in-add,
oelem/intlista/sls is used by in-add, get-add-02,
oelem/intlista/transitivity is used by putarray-addarray-01, isarray-init-01, get-add-02, addarray-put-01, add-at-gr,

Used from specification refkey

Used from specification javatype

javatype/ex-02 is used by add-gft,
javatype/ex-03 is used by add-gft,
javatype/disj-02 is used by is_array-addarray,
javatype/disj-08 is used by okbytearray-this,
javatype/disj-22 is used by addarray-identity,
javatype/elim-01 is used by okarray-addarray-other, isarray-addarray-other, isarray-addarray-01,
javatype/elim-02 is used by isobj-addarray-other, isobj-addarray,
javatype/sel-01 is used by isarray-addarray-other, isarray-addarray-02, isarray-addarray-01, isarray-addarray, isarray-add, is_array-addarray-01, addarray-negative,
javatype/sel-02 is used by isobj-addarray-other, isobj-addarray,
javatype/test-09 is used by okarray-addarray-other, isarray-addarray-other, isarray-addarray-02, isarray-addarray-01, isarray-addarray, isarray-add, is_obj-addarray-02, addarray-negative,
javatype/test-10 is used by isobj-addarray-other, isobj-addarray,
javatype/test-16 is used by isobj-addarray-01,
javatype/test-23 is used by isarray-addarray-other,

Used from specification javavalue

javavalue/diff-05 is used by addbar-refval,
javavalue/sel-04 is used by get-add,
javavalue/elim-02 is used by okarray-copy, okarray-addarray-other, okarray-06, okarray-02, okarray-01, isarray-addarray-01,
javavalue/elim-10 is used by okarray-addarray-other, isobj-addarray-other, isobj-addarray, isarray-addarray-other, isarray-addarray-01, addarray-identity,
javavalue/elim-refval is used by add-okarray,
javavalue/inj-03 is used by putarray-addarray-one,
javavalue/inj-04 is used by union-addarray-rew, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, okarray-init-07, okarray-init-05, okarray-init-04, okarray-1dim-04, length-1init-01, length-1dim, atint21-1dim, atint20-1dim, addbar-okarray-01, addbar-length, addarray-put-01, addarray-addaray,
javavalue/inj-09 is used by union-addarray-rew, type-1init, type-1dim, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, addbar-type, addarray-put-01, addarray-addaray,
javavalue/intval is used by addarray-identity,
javavalue/sel-04 is used by okarray-putarray-addarray-put, okarray-addarray-other, okarray-addarray-lenput-primtype, okarray-addarray, okarray-abstract, okarray-05, okarray-04, okarray, isarray-addarray-01, isarray-addarray, is_array-addarray-01, getbytearray-addarray-this, getarray-addarray-06, getarray-addarray, getBar-2-put, addbar-okarray-03, addarray-negative,
javavalue/sel-08 is used by getbytearray-addarray-this, getbar-addbar-02, getBar-2-put,
javavalue/sel-09 is used by okreftype-init-02, okreftype-init-01, okreftype-init, okreftype-1dim-02, okreftype-1dim-01, okreftype-1dim, okclass-init, okclass-1dim, okarray-putarray-addarray-put, okarray-init-basic-01, okarray-init-basic, okarray-init-07, okarray-init-05, okarray-init-04, okarray-init-03, okarray-init-02, okarray-init-01, okarray-init, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype, okarray-1dim-basic-01, okarray-1dim-04, okarray-1dim-03, okarray-1dim-02, okarray-1dim-01, okarray-1dim, addbar-okarray-02, addbar-okarray-01,
javavalue/sel-11 is used by okreftype-init-02, okreftype-1dim-02, okarray-putarray-addarray-put, okarray-copy, okarray-addarray-lenput-primtype, isobj-addarray-other, isobj-addarray-01, isobj-addarray, isarray-addarray-other, isarray-addarray-02, isarray-addarray-01, isarray-addarray, isarray-add, is_obj-addarray-02, is_obj-addarray-01, is_array-addarray-prim, is_array-addarray-any, is_array-addarray-01, is_array-addarray, addarray-negative,
javavalue/test-19 is used by okreftype-init-02, okreftype-init-01, okreftype-init, okreftype-1dim-02, okreftype-1dim-01, okreftype-1dim, okclass-init, okclass-1dim, okarray-putarray-addarray-put, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype, add-okarray,
javavalue/test-25 is used by okarray-putarray-addarray-put, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype, okarray-addarray, okarray-abstract, okarray-06, okarray-05, okarray-04, okarray-02, okarray-01, okarray, isarray-addarray-01, isarray-addarray, addarray-negative,
javavalue/test-36 is used by okbytearray-addarray-02, okarray-init-05, okarray-init-04, okarray-copy, okarray-05, addbar-refval-01, addbar-okarray-01,
javavalue/test-91 is used by isarray-addarray-other,
javavalue/test-92 is used by okreftype-init-02, okreftype-1dim-02, okarray-putarray-addarray-put, okarray-copy, okarray-addarray-other, okarray-addarray-lenput-primtype, isobj-addarray-other, isobj-addarray-01, isobj-addarray, isarray-addarray-other, isarray-addarray-02, isarray-addarray-01, isarray-addarray, isarray-add, addarray-negative,

Used from specification storearrays

storearrays/at=get is used by putarray-addarray-override,
storearrays/bar-at-01 is used by getbytearray-addarray-this,
storearrays/bar-empty is used by getbar-add-01,
storearrays/copy-between is used by okarray-copy,
storearrays/copy-in-between is used by okarray-copy,
storearrays/get-alleq is used by getarray-addarray-other-01, getarray-addarray-other,
storearrays/get-get is used by putarray-addarray-override,
storearrays/getArray-all is used by getarray-addarray-01, getarray-addarray,
storearrays/getArray-one is used by getarray-addarray-03, get-add-02,
storearrays/getArray-rec is used by getarray-addarray-03, get-add-02,
storearrays/getArray-zero is used by get-add-02,
storearrays/getByteArray is used by getbar-addbar-02, getbar-add-03, get-add,
storearrays/getByteArray-all is used by getbar-add-02, getbar-add, getBar-2-put, get-add,
storearrays/getarray-get is used by addarray-identity,
storearrays/getarray-length is used by getarray-addarray-06, addarray-identity,
storearrays/getarray-put-01 is used by getarray-addarray-05,
storearrays/getarray-put-04 is used by getarray-addarray-04, getarray-addarray-02,
storearrays/getarray-put-05 is used by getarray-addarray-03,
storearrays/getbar-len-03 is used by getbytearray-addarray-this,
storearrays/getbar-rec is used by getbar-add-01, getBar-2-put,
storearrays/getintarray is used by getintarray-addarray-01, getintarray-addarray, addarray-getintarray-other-01, addarray-getintarray-other,
storearrays/getintarray-def is used by addarray-getintarray-other,
storearrays/is_arrayref is used by okarray-putarray-addarray-put, okarray-copy, okarray-addarray, isarray-init-02, isarray-init-01, isarray-1dim, is_array-init-01, is_array-init, is_array-1dim-01, addbar-okarray-01,
storearrays/putAr-lastrec is used by putarray-addarray, putarray-add-same-02, addarray-is-putarray,
storearrays/putArray-all is used by putarray-add-same,
storearrays/putArray-at is used by putarray-addarray-one, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put,
storearrays/putArray-at-in is used by putarray-addarray-one, putByteArray-vals-addarray-01,
storearrays/putArray-in is used by putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01,
storearrays/putArray-put-switch is used by putarray-addarray, addarray-is-putarray,
storearrays/putArray-put-switch-02 is used by putByteArray-vals-addarray-01, putByteArray-vals-addarray,
storearrays/putBar-rec is used by putbytearray-addarray-override,
storearrays/putBar-rew is used by putbytearray-addarray-override,
storearrays/putByteArray is used by putByteArray-vals-addarray-01, putByteArray-vals-addarray,
storearrays/putar-at is used by putarray-addarray-override, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, okarray-putarray-addarray-put,
storearrays/putar-atother is used by putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, okarray-putarray-addarray-put,
storearrays/putar-atref is used by subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, putarray-addarray-override, putarray-addarray-one,
storearrays/putar-in is used by putarray-addarray-01,
storearrays/putar-rew is used by putarray-add-same-02, putarray-add-butlast,
storearrays/arrayref-01 is used by okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, is_array-1dim,
storearrays/bar-empty-01 is used by getbar-add-01,
storearrays/copy-ident is used by okarray-copy,
storearrays/copy-length is used by okarray-copy,
storearrays/copy-length-02 is used by okarray-copy,
storearrays/copy-type is used by okarray-copy,
storearrays/copy-type-01 is used by okarray-copy,
storearrays/get-zero is used by getarray-addarray-03,
storearrays/getarray-get is used by getarray-addarray-06,
storearrays/getbar-one is used by getBar-2-put,
storearrays/isarray is used by is_array-1dim,
storearrays/isarray-03 is used by okarray-init-05,
storearrays/putArray-at-in is used by putarray-addarray-override, putarray-addarray-01,
storearrays/putArray-empty is used by putarray-addarray, putarray-add-same-02, addarray-is-putarray-01, addarray-is-putarray,
storearrays/putArray-in is used by subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, subset-putarray-addarray-newref, putarray-addarray-one, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put,
storearrays/putArray-rec is used by addarray-is-putarray-01,
storearrays/putBar-empty is used by putbytearray-addarray-override,
storearrays/putar-atref is used by subset-putarray2-put-addarray-newref-01-01, subset-putarray2-put-addarray-newref-01, subset-putarray2-put-addarray-newref, subset-putarray2-addarray-newref, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01,
storearrays/putar-inref is used by putarray-addarray-01,
storearrays/putarray-field is used by putarray-addarray-override, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01,
storearrays/putarray-length is used by putarray-addarray-01, putarray-add-same,
storearrays/putarray-type is used by putarray-addarray-01, putarray-add-same, okarray-putarray-addarray-put,

Used from specification list-data

list-data/javavalues/elim-list-c is used by putbytearray-addarray-override,
list-data/intlista/elim-list-c is used by addbar-refval-01,
list-data/javavalues/l is used by union-addarray-rew, switch-array, succ-1init, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same-02, putarray-add-same, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray-lenput-primtype, okarray-addarray, okarray-04, move-initvals-02, move-initvals, isarray-init-02, isarray-init-01, isarray-addarray, is_array-addarray-prim, is_array-addarray-any, is_array-addarray-01, init-at-01, init-at, in-add, get-add-02, addarray-mode, addarray-identity, addarray-both-subset, add-refs, add-lastrec, add-isobj, add-at-neg, add-at-gr,
list-data/bytelist/l is used by putByteArray-vals-addarray-01, okarray-05,
list-data/references/l is used by addarray-at-other,
list-data/intlista/l is used by getbar-addbar-02, addbar-refval-01, addbar-refval, addbar-okarray-01,
list-data/bytelist/size-01 is used by putbytearray-addarray-override,
list-data/javavalues/size-01 is used by switch-array, putbytearray-addarray-override, putarray-addarray, putarray-add-same-02, newref-1init-01, init-last, init-at-01, in-add, addarray-put-01, addarray-mode, addarray-mklist-05, addarray-lastrec, addarray-both-subset, add-refs, add-isobj, add-in-fskey, add-at-neg, add-at-gr,
list-data/intlista/size-01 is used by addbar-refval-01,

Used from specification list-del

list-del/javavalues/extension is used by getarray-addarray-06,
list-del/bytelist/extension is used by getbytearray-addarray-this, getbar-addbar-02,
list-del/javavalues/get-append-grt is used by putarray-addarray-01, putByteArray-vals-addarray-01,
list-del/javavalues/get-append-less is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01,
list-del/javavalues/get-butlast is used by okarray-init-04,
list-del/javavalues/get-firstn is used by putarray-addarray-override,
list-del/javavalues/get-in is used by okarray-init-07, okarray-addarray, okarray-04, is_array-addarray-prim, is_array-addarray-any,
list-del/javavalues/get-last is used by okarray-init-04,
list-del/javavalues/get-mklist-01 is used by putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01, addarray-addaray,
list-del/javavalues/in-get is used by okarray-putarray-addarray-put, okarray-init-07, okarray-addarray-lenput-primtype, okarray-addarray, is_array-addarray-01,
list-del/javavalues/put-app-right is used by putbytearray-addarray-override,
list-del/javavalues/put-butlast is used by move-initvals,
list-del/javavalues/put-last is used by move-initvals,
list-del/javavalues/put-rec-01 is used by move-initvals-02,
list-del/javavalues/put-zero-01 is used by putbytearray-addarray-override,
list-del/javavalues/rest-len is used by putarray-addarray-override,
list-del/javavalues/restn-at is used by putarray-addarray-override,
list-del/intlista/sublist-at is used by getbar-addbar-02,
list-del/javavalues/sublist-at is used by getbar-addbar-02,
list-del/javavalues/sublist-length is used by getbar-addbar-02,
list-del/intlista/sublist-length is used by getbar-addbar-02,
list-del/javavalues/sublist-lenrec is used by get-add-02,
list-del/javavalues/sublist-one is used by get-add-02,
list-del/javavalues/first-length is used by putarray-addarray-override,
list-del/javavalues/get-append-grt is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01,
list-del/javavalues/get-append-less is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01,
list-del/references/get-in is used by addarray-at-other,
list-del/bytelist/get-mklist-01 is used by getbytearray-addarray-this,
list-del/javavalues/get-mklist-01 is used by putByteArray-vals-addarray-01, getarray-addarray-06,
list-del/javavalues/get-numrec is used by one-1init-02, one-1init, atinit,
list-del/javavalues/get-succ is used by succ-1init, putarray-addarray-one, init-at-01,
list-del/javavalues/get-zero-01 is used by zero-1init-05, one-1init-02, init-at-01, addarray-put-01,
list-del/javavalues/one-03 is used by zero-1init-02, one-1init, atinit,
list-del/javavalues/put-length is used by move-initvals,
list-del/javavalues/put-one-01 is used by move-initvals-03,
list-del/javavalues/put-zero is used by move-initvals-02, move-initvals-01,
list-del/javavalues/sub-zero is used by get-add-01,
list-del/javavalues/sub-zerolen is used by get-add-02,

Used from specification specialkeys

specialkeys/mode is used by mode-1dim-01, mode,
specialkeys/out is used by out-1init-01, out-1init, out-1dim-01,
specialkeys/uninit is used by init-1dim-04,
specialkeys/diff-01 is used by mode-1init-01, mode-1dim,
specialkeys/endfin-ref is used by endfinallymode-01, endfinallymode,
specialkeys/len is used by putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putarray-add-butlast, putByteArray-vals-addarray-01, move-initvals, length-1init, in-add, in-1dim-other-index, getBar-2-put, at-init-02, addbar-refval-01, addarray-put-01, add-in-fskey, add-at-neg, add-at-gr, add-at-04,
specialkeys/length-02 is used by out-1init-01, mode, lookup-init-02, lookup-1dim-05, in-init-05, in-1dim-11,
specialkeys/length-04 is used by switch-class, switch-addarray-addclass, putarray-addarray-override, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, length-1dim-01, getarray-addarray-04, getarray-addarray-02, at-init-02, at-1dim-other-index, addarray-identity, add-lastrec,
specialkeys/mode-01 is used by mode-1dim-01, mode,
specialkeys/mode-04 is used by mode-1init,
specialkeys/mode-05 is used by mode-1init-01, mode-1dim, addarray-mode,
specialkeys/out-01 is used by out-1init-01,
specialkeys/out-05 is used by out-1dim,
specialkeys/type-03 is used by type-1init-01, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-add-same, putByteArray-vals-addarray-01, in-add, in-1dim-other-index, at-init-01, addarray-put-01, addarray-mklist-05, add-lastrec, add-in-fskey, add-at-neg, add-at-gr, add-at-04,
specialkeys/type-04 is used by type-in, type-1init, type-1dim, putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, add-in,
specialkeys/type-05 is used by out-1init-01, mode, lookup-init-02, lookup-1dim-05, in-init-05, in-1dim-11,
specialkeys/type-06 is used by type-1dim-01, switch-class, switch-addarray-addclass, putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, putByteArray-vals-addarray, in-1dim-08, getarray-addarray-04, getarray-addarray-02, at-init-01, at-1dim-other-index, addarray-identity, add-lastrec,

Used from specification storefunsx

storefunsx/classOf is used by class-init, class-1dim,
storefunsx/nouninit is used by addarray-nouninit-01, addarray-nouninit,
storefunsx/refs-def is used by addarray-refs,
storefunsx/reftypep is used by okclass-init, okclass-1dim,
storefunsx/union-at-left is used by union-addarray-rew,
storefunsx/union-at-right-01 is used by union-addarray-rew,
storefunsx/lookup-xtra is used by union-addarray-rew, subset-putarray-addarray-newref, stsubset-03, putarray-addarray-one, isarray-addarray-other, addarray-identity,
storefunsx/nouninit-undone is used by addarray-nouninit-01, addarray-nouninit,
storefunsx/refs-put is used by add-refs,
storefunsx/reftype-02 is used by okclass-init, okclass-1dim,
storefunsx/reftype-jvmref is used by okclass-init, okclass-1dim,
storefunsx/union-at-right-02 is used by union-addarray-rew,
storefunsx/union-in is used by union-addarray-rew,
storefunsx/union-newref-02 is used by union-addarray-rew,

Used from specification javastore

javastore/at-other-16 is used by putByteArray-vals-addarray-01,
javastore/at-other-18 is used by okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, at-1dim-other-index,
javastore/at-other-19 is used by at-1dim-other-index,
javastore/at-other-51 is used by okarray-putarray-addarray-put, okarray-addarray-lenput-primtype,
javastore/in-01 is used by in-init-02, in-init-01, in-1dim-02, in-1dim-01, in-1dim,
javastore/instore is used by addarray-mode,
javastore/instore-02 is used by type-in, okarray-putarray-addarray-put, okarray-addarray-lenput-primtype, in-add, in-1dim-other-index, in-1dim-fskey, add-in-fskey, add-in,
javastore/look-ins is used by putByteArray-vals-addarray-01, lookup-1init-01, lookup-1init, lookup-1dim-02, lookup-1dim-01, lookup-1dim, in-1dim,
javastore/look-out is used by out-1dim,
javastore/lookup-if is used by type-1init-01, type-1init, type-1dim, out-1dim, one-1init-01-01, one-1init-01, mode-1init-01, mode-1init, mode-1dim, lookup-init-01, lookup-init, lookup-1dim-03, length-1init-01, length-1init, length-1dim, init-at-01, getBar-2-put, at-init-02, at-init-01, at-init, at-field-1dim, at-1dim-01, addbar-refval-01, add-at-neg, add-at-gr, add-at-05, add-at-02,
javastore/mode-in is used by addarray-mode,
javastore/sk is used by in-init-03, in-1dim-07,
javastore/type is used by in-init-04,

Used from specification addfuns

addfuns/addclass-switch is used by switch-class-01, switch-addarray-addclass-01,
addfuns/addclass-switch-01 is used by switch-class, switch-addarray-addclass,
addfuns/addobj-put-switch is used by switch-addarray-addobj-01,
addfuns/is-any-object is used by isobj-addarray-other, isobj-addarray-01, isobj-addarray,
addfuns/is-real-object-def is used by is_obj-addarray-01, is_obj-addarray,
addfuns/is-valid-ref is used by validref-addarray,
addfuns/is_obj-arraytype is used by is_obj-addarray-02,
addfuns/is_obj-def is used by isobj-addarray-other-01, isobj-addarray,
addfuns/add-gins is used by switch-addarray-addobj-01,
addfuns/ao-put is used by switch-obj-01, switch-obj,
addfuns/isobj-put is used by add-isobj,
addfuns/stsubset-addobj is used by stsubset-02, stsubset-01,

Used from specification nat

nat/add-01 is used by switch-array, get-add-02, addbar-refval-01, addarray-both-subset, add-lastrec, add-at-gr,
nat/add-num-03 is used by move-initvals-02,
nat/anti is used by move-initvals,
nat/elim-pred-c is used by switch-array, move-initvals, in-add, addbar-refval-01, addarray-put-01, addarray-mode, addarray-both-subset, add-lastrec, add-at-neg, add-at-gr,
nat/elim-sub is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, addarray-put-01,
nat/eq-01 is used by putByteArray-vals-addarray-01,
nat/fle is used by getbar-addbar-02,
nat/fle-01 is used by putByteArray-vals-addarray-01, getbar-addbar-02,
nat/le-add is used by putbytearray-addarray-override, addarray-mode, addarray-both-subset,
nat/le-ls-simp is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-addarray, move-initvals, is_array-addarray-prim, is_array-addarray-any, getbar-addbar-02, get-add-02, addarray-put-01,
nat/le-num-02 is used by switch-array, addbar-refval-01, addarray-mode, addarray-both-subset, add-at-neg, add-at-gr,
nat/lels is used by switch-array, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01, okarray-putarray-addarray-put, okarray-init-07, okarray-init-04, okarray-addarray-lenput-primtype, okarray-addarray, okarray-05, okarray-04, move-initvals, isarray-addarray, is_array-addarray-prim, is_array-addarray-any, is_array-addarray-01, getbar-addbar-02, get-add-02, addbar-refval-01, addbar-okarray-01, addarray-put-01, addarray-mode, addarray-identity, addarray-both-subset, add-isobj, add-at-neg, add-at-gr,
nat/lels-01 is used by switch-array, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray, okarray-init-07, okarray-init-04, okarray-05, okarray-04, isarray-addarray, getbar-addbar-02, get-add-01, addbar-refval-01, addarray-mode, addarray-both-subset, add-refs, add-at-neg, add-at-gr,
nat/lels-03 is used by move-initvals, getbar-addbar-02,
nat/lep is used by putarray-addarray-override, putarray-addarray-01, putByteArray-vals-addarray-01,
nat/lep-01 is used by switch-array, addbar-refval-01, add-at-neg, add-at-gr,
nat/leprf is used by add-isobj,
nat/ler is used by putbytearray-addarray-override, putarray-addarray, putarray-add-same-02, putarray-add-butlast, okarray-init-07, okarray-init-04, okarray-05, okarray-04, move-initvals, isarray-addarray, addbar-refval-01,
nat/let is used by putarray-addarray-override,
nat/lez is used by okarray-05, getbar-addbar-02, addbar-okarray-01,
nat/ls-01 is used by switch-array, get-add-02, addbar-refval-01, addarray-mode, addarray-both-subset, add-refs, add-at-neg, add-at-gr,
nat/ls-le-simp is used by putarray-addarray-override, okarray-init-07, okarray-addarray, move-initvals, is_array-addarray-01, getbar-addbar-02,
nat/pred-03 is used by switch-array, move-initvals, in-add, get-add-02, addbar-refval-01, addarray-mode, addarray-both-subset, add-refs, add-lastrec, add-isobj, add-in-fskey, add-at-neg, add-at-gr,
nat/zero is used by putbytearray-addarray-override, addarray-put-01,

Used from specification list-last

list-last/javavalues/mk-last-02 is used by addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-is-putarray,
list-last/intlista/b-01 is used by addbar-refval-01,
list-last/javavalues/bapp is used by putarray-addarray,
list-last/javavalues/butlast-def is used by putarray-add-butlast, move-initvals, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02,
list-last/javavalues/lapp is used by putarray-addarray,
list-last/javavalues/last-def is used by putarray-add-butlast, move-initvals, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02,
list-last/javavalues/last-elim is used by putarray-addarray, putarray-add-same-02, move-initvals, in-add, addarray-lastrec, add-lastrec, add-in-fskey,
list-last/javavalues/lb is used by switch-array, addarray-mode, addarray-both-subset, add-refs, add-lastrec, add-isobj, add-at-neg, add-at-gr,
list-last/intlista/lb is used by addbar-refval-01,
list-last/javavalues/mk-elem is used by okbytearray-addarray-02,
list-last/javavalues/mk-empty is used by putarray-addarray, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02,
list-last/javavalues/mk-in is used by okbytearray-addarray-02,
list-last/intlista/mk-inj-01 is used by getintarray-addarray-01, getintarray-addarray,
list-last/javavalues/mk-len is used by putarray-addarray-01, putarray-addarray, putByteArray-vals-addarray-01, putByteArray-vals-addarray, getarray-addarray-06, addarray-put-01, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-is-putarray, addarray-addaray,
list-last/bytelist/mk-len is used by getbytearray-addarray-this,
list-last/javavalues/mk-plus is used by getarray-addarray-03,
list-last/javavalues/mk-zero is used by getarray-addarray-03, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-mklist, addarray-is-putarray,
list-last/javavalues/mklist-one is used by getarray-addarray-03,

Used from specification nat-basic2

nat-basic2/a is used by putarray-addarray-override,
nat-basic2/c is used by putarray-addarray-override, putarray-addarray-01,
nat-basic2/a is used by zero-1init-05, switch-array, switch-addarray-addobj-01, switch-addarray-addclass-01, succ-1init, shift-1dim-01, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-1init-02, okarray-init-04, newref-1dim-01, move-initvals-02, move-initvals-01, move-initvals, lookup-1dim-01, init-last, init-at-01, in-add, in-1dim-other-index-01, in-1dim-15, in-1dim-13, in-1dim-07, in-1dim-02, getbar-addbar-02, getbar-add-01, getarray-addarray-05, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addbar-refval-01, addarray-put-01, addarray-mode, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, addarray-is-putarray, addarray-both-subset, add-refs, add-put-switch, add-lastrec, add-in-fskey, add-at-neg, add-at-gr, add-at-05,
nat-basic2/c is used by zero-1init-05, switch-array, switch-addarray-addobj-01, switch-addarray-addclass-01, succ-1init, shift-1dim-01, putbytearray-addarray-override, putarray-addarray-override, putarray-addarray-one, putarray-addarray-01, putarray-addarray, putarray-add-same-02, putarray-add-butlast, putByteArray-vals-addarray-01, putByteArray-vals-addarray, one-1init-02, okarray-init-04, newref-1dim-01, move-initvals-02, move-initvals-01, move-initvals, lookup-1dim-01, init-last, init-at-01, in-add, in-1dim-other-index-01, in-1dim-15, in-1dim-13, in-1dim-07, in-1dim-02, getbar-addbar-02, getbar-add-01, getarray-addarray-05, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addbar-refval-01, addarray-put-01, addarray-mode, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-lastrec, addarray-is-putarray, addarray-both-subset, add-refs, add-put-switch, add-lastrec, add-in-fskey, add-at-neg, add-at-gr, add-at-05,
nat-basic2/eq-01 is used by putbytearray-addarray-override, putarray-addarray-01, move-initvals, in-add, addbar-refval-01, add-lastrec,
nat-basic2/l is used by putByteArray-vals-addarray-01, getbar-addbar-02,
nat-basic2/l-01 is used by putbytearray-addarray-override, putByteArray-vals-addarray-01,
nat-basic2/l-02 is used by putByteArray-vals-addarray-01, get-add-02, addarray-mode, addarray-both-subset,
nat-basic2/one is used by move-initvals-02,
nat-basic2/oz is used by putbytearray-addarray-override, move-initvals-01, move-initvals, addarray-put-01, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-is-putarray,
nat-basic2/pred is used by putarray-add-butlast, move-initvals, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02, addarray-is-putarray,
nat-basic2/s is used by switch-addarray-addobj-01, switch-addarray-addclass-01, shift-1dim-01, putarray-addarray, putarray-add-same-02, newref-1dim-01, move-initvals, lookup-1dim-01, in-add, in-1dim-other-index-01, in-1dim-15, in-1dim-13, in-1dim-07, in-1dim-02, getbar-add-01, getarray-addarray-05, getarray-addarray-03, get-add-02, at-1dim-other-index-01, at-1dim-01, addarray-is-putarray, add-refs, add-put-switch, add-in-fskey, add-at-05,
nat-basic2/succ is used by getbar-addbar-02, addarray-mklist-05, addarray-mklist-03, addarray-mklist-02,
nat-basic2/z is used by switch-array, get-add-02, addbar-refval-01, addarray-put-01, addarray-both-subset, add-lastrec, add-at-gr,
nat-basic2/z-01 is used by move-initvals-02,

Used from specification byte

byte/zero-byte is used by getbytearray-addarray-this,

Used from specification set-union

set-union/references/ext is used by addarray-refs,