100644 blob 7ae393145d57f5c22312ee4de00e897e089731d3	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob 715814bdb6a34aaca4cce73b683e0ed18618b3a0	bounds.go
100644 blob 445879e0eb50bcd33b14b6c6bf6793c5ddd6153d	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 8c8a3714c624bba636c4bcd62ec5d668e262a7fb	resolve.go
100644 blob d2ac5cfdc1bdc1c89dd39366afd0a3f9cbf5772d	type.go