100644 blob 675f701a9e36d0772e3e42b0ec9516cbf33d4781	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob f0c2feb561bd7f1553d49843d1eeaedc07311cbc	bounds.go
100644 blob 85dd23e725b917d289116d2c79a09aa6943c48eb	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob 229945405e83767aa13c4fd5fed1a4e1b0e00917	data.go
100644 blob 0c004be9b81d0eeffb8fd944ce921463a45587af	gen.go
100644 blob 3c8780fe86d8f8cdbd36e442a1d23ca952c3af7e	optimize.go
100644 blob 4d9ade931d9dbd28ba5ebe11b4cf5413c2212012	resolve.go
100644 blob 07eb7a3d11dc007671db9bba3a025ad1fce5c81b	type.go