)]}' { "id": "5d81b47551eef84c25a9d32bd191a1ac89442a9d", "entries": [ { "mode": 33188, "type": "blob", "id": "675f701a9e36d0772e3e42b0ec9516cbf33d4781", "name": "assert.go" }, { "mode": 33188, "type": "blob", "id": "d75705d5cec6202f16adf86ce022aa12507b1d97", "name": "axioms.md" }, { "mode": 33188, "type": "blob", "id": "46815e73f3fab0af1025a00a44d75b3ca0a621b3", "name": "bounds.go" }, { "mode": 33188, "type": "blob", "id": "64e6cfdc7c302c02d13c45983c791a63c44cd02f", "name": "check.go" }, { "mode": 33188, "type": "blob", "id": "dfcf6b68d2d24dd503b296f6801829c2bc3138fe", "name": "check_test.go" }, { "mode": 33188, "type": "blob", "id": "229945405e83767aa13c4fd5fed1a4e1b0e00917", "name": "data.go" }, { "mode": 33188, "type": "blob", "id": "275d96aef753732fdff0194b59cc19ede8ae9604", "name": "gen.go" }, { "mode": 33188, "type": "blob", "id": "151736394f06eb0de04990c49ba076b03020e838", "name": "optimize.go" }, { "mode": 33188, "type": "blob", "id": "f0480a3f07ccf056aead30792f146ec2d23341b6", "name": "resolve.go" }, { "mode": 33188, "type": "blob", "id": "1781bb6ee2b041bd63299b7e770593384cbe0641", "name": "type.go" } ] }