100644 blob 8456d908ded2d1defbdf1130af7d4ccbf0341faa	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob 2bdfa85dabb0be2fe27b0b640efe17df5a645405	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 50da53ad733e872990105ba045bb2ac6a17b191a	type.go