100644 blob 7ae393145d57f5c22312ee4de00e897e089731d3	assert.go
100644 blob 829884e7e06bf28a06e0a35a8cac6fec0dde8b92	axioms.md
100644 blob 715814bdb6a34aaca4cce73b683e0ed18618b3a0	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 9697563c626d757d4b986fcb9879b56626d276d3	type.go