100644 blob 8456d908ded2d1defbdf1130af7d4ccbf0341faa	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob 370479f24468cd75e22b7fc395b0cd94d2d44feb	bounds.go
100644 blob f2c1713d8a90e58f4b744bd50aa4e6972391e326	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 9ac289ede0d4c52982499fd307e9148bbe7e54e0	resolve.go
100644 blob b2cdbac1d06d542e7203323d92a2c3878c7dbff3	type.go