package gen;
  import edu.neu.ccs.demeterf.lib.*;
  import edu.neu.ccs.demeterf.*;
  import java.io.FileInputStream;
  import java.util.Iterator;

  extern Iterable(X) = .

  //* Structures from demeterf.lib
  nogen List(X) = Cons(X) | Empty(X).
  nogen Cons(X) = <first> X <rest> List(X).
  nogen Empty(X) = .

  Test = <g> Graph(String,String) <g2> Graph(Integer, Integer).

  Node(N) = "(" <id> int *s <val> N ")".
  Edge(N,L) = "[" <label> L *s <targ> Node(N) "]".

  Adj(N,L) = <node> Node(N) *s "=>" *s "(" <es> List(Edge(N,L)) ")" *l
           implements Iterable(Edge(N,L)).

  Graph(N,L) = "graph(" +*l <adj> List(Adj(N,L)) -*l ")"
             implements Iterable(Adj(N,L)).