100644 blob 8456d908ded2d1defbdf1130af7d4ccbf0341faa	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob dfdcc20975a8d144565c5e9e1e63b81e496b1401	bounds.go
100644 blob 0d5f6e419b6a247b833dfff269ad38d607493a9f	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob 345a833a18bffad3c5dfd749389ebb5e530acc33	data.go
100644 blob 712f9ac1e04687b64cbe8c9235ac71e5f4ea0dfe	gen.go
100644 blob c9893794850d1cd4527eaabf47421f043cdf080e	optimize.go
100644 blob 82c25bc4a201c51321debf0fedfe37755721f53c	resolve.go
100644 blob 7a0da26a3289cec23d816efd47fd2b8245810a8a	type.go