docs: def dump_pytorch_graph(graph):
      """List all the nodes in a PyTorch graph."""
      f = "{:25} {:40}   {} -> {}"
      print(f.format("kind", "scopeName", "inputs", "outputs"))
      for node in graph.nodes():
          print(f.format(node.kind(), node.scopeName(),
                         [i.unique() for i in node.inputs()],
                         [i.unique() for i in node.outputs()]
                         ))