)]}' { "id": "20faa13f62d4999a1e70afc85ae5f84e6bfa1bf9", "repo": "tint", "revision": "8ebff3dc85e7997e39592c52e20a4e134baffca8", "path": "src/sem/vector_type.cc" }