100644 blob 1b6453ca73ec809eb503f30dc9017f24aa5d6136	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob 887b25dae77e7fa478260a2ac391124db9f7fa89	bounds.go
100644 blob 42ea6159ac353a8094cdd52d1015b8012202bd2c	check.go
100644 blob c47aca7a9959d6de6c243f19455641cadd570936	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