100644 blob 675f701a9e36d0772e3e42b0ec9516cbf33d4781	assert.go
100644 blob d75705d5cec6202f16adf86ce022aa12507b1d97	axioms.md
100644 blob ffcd7a8775d156183aa71e1ca53e5aa21e0155e4	bounds.go
100644 blob 84dc12da039fb4c1b17f6aef729833be7c2fbcfd	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob 229945405e83767aa13c4fd5fed1a4e1b0e00917	data.go
100644 blob 275d96aef753732fdff0194b59cc19ede8ae9604	gen.go
100644 blob 4c4202eb950832e0bd96bb4c4a056304860d8586	optimize.go
100644 blob c9cd8f7f39a5a8ddb991b1148207b7e8dc3461db	resolve.go
100644 blob cde48c3c561cec78584596254de2bfc57a4c584e	type.go