100644 blob 675f701a9e36d0772e3e42b0ec9516cbf33d4781	assert.go
100644 blob 26efcd5fdbfcad6f2e16d5c27fec31807a333279	axioms.md
100644 blob 776b89fd51ec16a5b357c0c3eed63b0a1924ca89	bounds.go
100644 blob 9a40cb72cc79ff71d4b857b1c8542c7c74934962	check.go
100644 blob dfcf6b68d2d24dd503b296f6801829c2bc3138fe	check_test.go
100644 blob b1cc71d9df4b6f9fa738e04939d6c5efd91e72a5	data.go
100644 blob 275d96aef753732fdff0194b59cc19ede8ae9604	gen.go
100644 blob 7cd56df8c893be587608cdcad1d6982fc2570cc8	optimize.go
100644 blob c09629cb3ddfec83559c481e1fb946190c7ab1a4	resolve.go
100644 blob 01d243b7401325fccc1fb960ae87913e484d30f5	type.go