)]}' { "id": "eaae5912a6583687edf39fbe6db8fcbdafe57794", "repo": "tint", "revision": "cc26a4166dc5dbd22abfc09d66595d85bc780c04", "path": "src/sem/type_manager.cc" }