100644 blob 675f701a9e36d0772e3e42b0ec9516cbf33d4781	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob 04aee64576638ba511471b6578be969cabdb7ea8	bounds.go
100644 blob 9a40cb72cc79ff71d4b857b1c8542c7c74934962	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob 229945405e83767aa13c4fd5fed1a4e1b0e00917	data.go
100644 blob 275d96aef753732fdff0194b59cc19ede8ae9604	gen.go
100644 blob c96dba059f1c2bac383abbfd0d6d9bb154815cbe	optimize.go
100644 blob 2ae723a954783168c93f4883bd2b3e492f4a79d8	resolve.go
100644 blob ae9f276a98d2ae064579bcf7310400f2c2cbb3ce	type.go