[
  {
    "name": "lib.add",
    "source": "lib.add"
  },
  {
    "name": "lib.trivial.add",
    "source": "lib.trivial.add"
  },
  {
    "name": "builtins.add",
    "source": "builtins.add"
  }
]