100644 blob 675f701a9e36d0772e3e42b0ec9516cbf33d4781	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob 6301680a3e657b1da14748d5aeab0a0c94206d9a	bounds.go
100644 blob 05b3004051bb43e7296161c766b7ec5d1088d821	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob 229945405e83767aa13c4fd5fed1a4e1b0e00917	data.go
100644 blob 275d96aef753732fdff0194b59cc19ede8ae9604	gen.go
100644 blob 1f9b7232a29b818882e5ccc10438400cf08737d3	optimize.go
100644 blob f0480a3f07ccf056aead30792f146ec2d23341b6	resolve.go
100644 blob 1781bb6ee2b041bd63299b7e770593384cbe0641	type.go