)]}'
{
  "id": "094da271885462684f5cc630f1aec2df2263f10a",
  "repo": "miri",
  "revision": "8871ffcebe7895dc76c4e16c033a962e2dbba13d",
  "path": "src/operator.rs"
}