DAT axioms DAT001=0.ax Integer arrays array: $tType tff(array type, type) read: (array × $int) → $int tff(read type, type) - Arrays - Document - PDFSEARCH.IO

First Page	Meta Content
	DAT axioms DAT001=0.ax Integer arrays array: $tType tff(array type, type) read: (array × $int) → $int tff(read type, type) Add to Reading List Document Date: 2017-03-18 22:04:01 Open Document File Size: 106,27 KB Share Result on Facebook

DAT axioms DAT001=0.ax Integer arrays array: $tType tff(array type, type) read: (array × $int) → $int tff(read type, type)Add to Reading List