Valid edge operator for graph type

[ChristianMurphy]

Valid

// graph uses undirected edges
graph {
  a -- b
}

// digraph uses directed edges
digraph {
  a -> b
}

Invalid

graph {
  a -> b
}

digraph {
  a -- b
}