100644 blob 7ae393145d57f5c22312ee4de00e897e089731d3	assert.go
100644 blob 829884e7e06bf28a06e0a35a8cac6fec0dde8b92	axioms.md
100644 blob 7275ea9d8c48bd4e42ac3800c9b803f6cb06408f	bounds.go
100644 blob 5c82f7a2a758902ccda80cc2afa92ef45978329d	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 11bb6247bfc45724b25d10f8469a90c8fcba6bb3	resolve.go
100644 blob ee21b8376b2ab2c442e69e7cdf7a03dec120965e	type.go