100644 blob 8456d908ded2d1defbdf1130af7d4ccbf0341faa	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob ee758a742df9865b8c85d51be123af963b9dc99f	bounds.go
100644 blob 0d5f6e419b6a247b833dfff269ad38d607493a9f	check.go
100644 blob 8db41ef392d872e5caf54569c839e07babc51122	check_test.go
100644 blob 345a833a18bffad3c5dfd749389ebb5e530acc33	data.go
100644 blob 712f9ac1e04687b64cbe8c9235ac71e5f4ea0dfe	gen.go
100644 blob c9893794850d1cd4527eaabf47421f043cdf080e	optimize.go
100644 blob c193f992f96ecfc153c935dca7f95a24aedf5c44	resolve.go
100644 blob 039e6639d7f888bbdede0a280b4b0351e863c582	type.go