100644 blob 1b6453ca73ec809eb503f30dc9017f24aa5d6136	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob 4811cde55d7db4ec8540c91e5c4b6fc4e402a915	bounds.go
100644 blob 42ea6159ac353a8094cdd52d1015b8012202bd2c	check.go
100644 blob f1115da04988f5b5267a0d49c0521b7e2e505562	check_test.go
100644 blob e381f8dea70549e3b2669d7146af012cc7a8b63c	data.go
100644 blob 5bc34c849b2b0126e2108bc728c1ea01fdfd13a2	gen.go
100644 blob 86974d5113c51031c29565d45d29c7ddc076535e	optimize.go
100644 blob 394150cadf71bc4fe039c49b916203ff11f8268b	resolve.go
100644 blob 058b019763109b2544142c5c242a64de0262a26e	type.go