[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,

Theorem base summary for Specification storearrays

Comp-get(3,2)bar-restn(5,2)copy-new(4,3)get-puteq(8,2)getarray-put(2,1)getbar-length(3,1)getbytearray-putbar-length(8,5)is_arrayref-02(8,4)putBar-lastrec(17,9)putbar-atother(5,3)
Comp-get-01(17,5)bar-sublist(16,5)copy-ref(4,2)get-rec-01(15,6)getarray-put-01(11,4)getbar-length-01(2,0)getbytearray-subset(12,6)is_arrayref-03(6,2)putBar-one(1,1)putbar-atother-01(3,2)
Comp-get-02(4,1)bar-zero(5,3)copy-succ(19,9)get-rest(20,7)getarray-put-02(12,5)getbar-mod(5,4)getintarray(0,0)isarray(2,0)putBar-rec(6,2)putbar-atref(4,2)
arrayComp(0,0)bytevalues(3,1)copy-type(2,2)get-rest-01(1,0)getarray-put-03(11,5)getbar-mod-01(6,3)getintarray-at(8,4)isarray-01(1,0)putBar-rew(18,8)putbar-atref-01(2,1)
arrayComp-01(5,2)comp-copy(7,3)copy-type-01(2,2)get-sublist(16,5)getarray-put-04(2,1)getbar-mode(3,1)getintarray-def(0,0)isarray-02(6,1)putBar-rew-01(9,5)putbar-byte(9,4)
arrayComp-02(9,0)comp-negative(1,0)copy-upper(7,3)get-zero(1,0)getarray-put-05(4,2)getbar-one(1,1)getintarray-empty(1,1)isarray-03(3,0)putBar-unrec(6,1)putbar-getbar(4,2)
arrayComp-03(2,0)comp-next(4,0)copy-upper-01(1,1)getArray-all(0,0)getarray-put-06(6,3)getbar-put(10,3)getintarray-empty-01(2,1)isarrayref-del(2,0)putByteArray(0,0)putbar-getbar-01(2,1)
arrayComp-04(2,0)comp-same(14,8)copy-zero(1,0)getArray-one(0,0)getarray-put-07(1,0)getbar-put-01(2,1)getintarray-empty-02(4,2)isarrayref-mod(6,2)putByteArray-all(0,0)putbar-getbar-02(2,1)
arrayComp-05(4,2)copy-arref(6,1)extension(22,8)getArray-rec(0,0)getarray-put-other(4,2)getbar-put-02(1,1)getintarray-in(20,11)isarrayref-put(2,2)putByteArray-append(11,6)putbar-getbar-03(5,3)
arrayComp-06(1,0)copy-at(4,3)extension-01(8,4)getArray-rec-01(4,1)getarray-put=set(22,8)getbar-put-03(3,1)getintarray-in-01(4,1)isarrayref-putbar-other(2,0)putByteArray-put-switch(11,6)putbar-getbar-le(16,5)
arrayComp-07(2,0)copy-at-01(2,1)get-alleq(25,8)getArray-zero(0,0)getarray-putbar(9,6)getbar-put-04(3,1)getintarray-in-02(19,6)pubBar-init(5,3)putByteArray-put-switch-01(4,2)putbar-in(2,1)
arrayComp-08(4,2)copy-atfield(4,3)get-ateq(4,2)getArrayv-all(0,0)getarray-putbar-01(6,2)getbar-put-lower(2,1)getintarray-length(2,1)putAr-get-other(8,2)putar-at(11,3)putbar-in-01(2,1)
arrayCopy-base(0,0)copy-bet-bet(30,15)get-ateq-01(2,1)getArrayv-one(0,0)getarray-subset(8,5)getbar-put-other(6,4)getintarray-length-01(2,1)putAr-get-other-01(10,2)putar-atfs(3,1)putbar-in-02(3,2)
arrayCopy-rec(0,0)copy-bet-low(17,8)get-del(3,2)getArrayv-rec(0,0)getarray-superset(3,1)getbar-putbar(5,3)getintarray-length-rew(2,1)putAr-lastrec(20,15)putar-atother(6,2)putbar-infs(1,1)
arrayref(8,2)copy-bet-up(14,6)get-del-01(12,5)getArrayv-zero(0,0)getarray-union(11,5)getbar-putbar-01(5,3)getintarray-max-len(2,1)putArray-all(0,0)putar-atref(4,1)putbar-infs-01(1,1)
arrayref-01(6,2)copy-between(8,5)get-empty(2,1)getByteArray(0,0)getarray-union-01(4,1)getbar-putbar-same(3,2)getintarray-max-rec(4,2)putArray-append(3,2)putar-getar(16,8)putbar-inother(3,2)
arrayref-02(6,2)copy-ident(6,3)get-eqex(1,0)getByteArray-all(0,0)getarray-union-02(4,1)getbar-putbar-same-01(8,5)getintarray-max-rec-01(4,2)putArray-at(2,1)putar-getar-01(10,3)putbar-inother-01(4,3)
at=get(10,5)copy-in(7,4)get-eqex-01(4,3)getByteArray-put(4,2)getarray-union-03(12,6)getbar-rec(4,1)getintarray-one(1,1)putArray-at-in(1,0)putar-getar-02(4,1)putbar-inref(2,1)
at=get-offset(14,5)copy-in-01(4,3)get-eqex-02(1,0)getByteArray-put-01(2,0)getarray=getbytearray(1,0)getbar-ref(1,0)getintarray-put-lower(4,2)putArray-empty(0,0)putar-in(5,4)putbar-inref-01(2,1)
bar-at(2,1)copy-in-02(4,3)get-eqex-03(6,4)getar-at(2,1)getba-eq(12,5)getbar-restn(9,5)getintarray-put-other(4,2)putArray-in(17,6)putar-in-01(4,1)putbar-len(1,1)
bar-at-01(3,2)copy-in-between(7,4)get-first(9,4)getar-putbar(6,4)getba-neq(5,3)getbar-restn-01(10,4)getintarray-put-other-01(4,2)putArray-one(3,3)putar-in-02(8,4)putbar-len-01(1,0)
bar-empty(1,0)copy-in-lower(8,5)get-get(14,5)getar-putbar-01(6,2)getba-neq-01(8,4)getbar-restn-02(5,3)getintarray-put-other-02(8,4)putArray-put(11,10)putar-infs(3,2)putbar-override(8,3)
bar-empty-01(1,0)copy-in-upper(4,3)get-length(7,4)getarray-copy(3,2)getbar-2rec(6,2)getbar-restn-03(3,2)getintarray-put-other-03(1,0)putArray-put-switch(6,3)putar-inother(8,4)putbar-put-mode(1,1)
bar-eq-sub(3,1)copy-in-upper-01(1,1)get-length-01(2,1)getarray-copy-01(1,0)getbar-3rec(8,3)getbar-restn-04(7,2)getintarray-put-upper(5,3)putArray-put-switch-01(5,3)putar-inref(4,2)putbar-put-override(13,7)
bar-firstn(3,2)copy-infs(4,3)get-length-02(1,0)getarray-copy-02(2,1)getbar-5rec(12,5)getbar-union(8,5)getintarray-put-upper-01(2,1)putArray-put-switch-02(7,4)putar-rew(12,4)putbar-refval(8,2)
bar-len(2,1)copy-init(4,3)get-length-03(1,0)getarray-get(6,3)getbar-anyrec(8,4)getbar-union-01(7,5)getintarray-put-upper-02(3,1)putArray-rec(0,0)putarray-field(4,1)putbytearray-in(2,0)
bar-len-01(1,0)copy-init-01(4,3)get-length-04(1,0)getarray-in(17,9)getbar-appeq(1,1)getbar-union-02(6,3)getintarray-rec-first(7,3)putBar-at(2,1)putarray-length(1,1)putbytearray-init(3,2)
bar-len-02(1,0)copy-init-02(4,3)get-put(4,2)getarray-in-01(25,8)getbar-appeq-01(2,0)getbar-union-03(4,2)getintarray-rec-last(6,3)putBar-at-fskey(2,1)putarray-mode(2,2)putbytearray-subset-new(3,2)
bar-len-03(1,1)copy-length(2,2)get-put-01(10,5)getarray-length(2,1)getbar-lastrec(6,3)getbyte-putbyte(1,1)getintarray-subset(8,4)putBar-at-len(1,1)putarray-subset-new(3,2)putbytearray-subset-new-01(3,2)
bar-length(2,1)copy-length-02(2,2)get-put-02(4,1)getarray-length-01(1,0)getbar-len(2,1)getbytearray-length-zero(1,0)getintarray-subset-01(6,3)putBar-at-mode(2,2)putarray-subset-new-01(14,7)stsub-copy(16,9)
bar-neq(8,3)copy-lower(10,5)get-put-03(2,2)getarray-offset(14,8)getbar-len-01(2,1)getbytearray-one(2,1)getintarray-zero(2,1)putBar-at-type(1,1)putarray-type(1,1)sublist-getbar(2,2)
bar-neq-same(2,1)copy-mode(2,2)get-put-04(1,0)getarray-offset-01(2,1)getbar-len-02(2,1)getbytearray-put(1,0)is_arrayref(0,0)putBar-empty(1,1)putbar-atfs(2,2)
bar-neq-soffset(10,5)copy-mode-01(2,2)get-put-05(1,1)getarray-offset-02(3,1)getbar-len-03(2,1)getbytearray-put-index-length(1,1)is_arrayref-01(8,4)putBar-in(4,1)putbar-atfs-01(1,1)