gistfile1.txt

(int;int) => (nat;nat)

..yields:

(nat;nat)<=(int;int)[combine,(nat<=int[is,bool<=int[gt,0]];nat<=int[is,bool<=int[gt,0]])]




(nat;nat)<=(int;int)[combine,(nat<=int[is,bool<=int[gt,0]];nat<=int[is,bool<=int[gt,0]])]
  ^   ^      |    |
  |   |     [is] [is]
  |   |      |    |
   \---\-----/----/

(int;nat) => edge

edge<=(int;nat)[combine,
                 (vertex<=int[is,bool<=int[gt,0]][split,('id'->nat)];vertex<=nat[split,('id'->nat)])]      // (make int a vertex;make nat a vertex)
               [split,('outV'->vertex<=(vertex;vertex)[get,0,_],'inV'->vertex<=(vertex;vertex)[get,1,_])]  // (make vertex pair and edge)