)]}' { "id": "88569ce26f3db4f8a253fecdebfbb4f337bc34d5", "repo": "tint", "revision": "1649dfadd714c76e655bb2e6e4f8298c2bebab1a", "path": "src/type_manager.cc" }