)]}' { "id": "de2666130017ed77b7cca8da31f80243ec0df5f4", "repo": "tint", "revision": "3125a8d73f4a7d891938133ce12e461a2932d9e1", "path": "src/type_determiner.cc" }