V_this      "$"         ID       T_obj              0           Y(E)|Y(V)
V_thisg     "$G"        ID       T_graph            0           Y(G)
V_targt     "$T"        ID       T_graph            0           Y(G)
V_outgraph  "$O"        ID       T_graph            0           Y(G)
V_tgtname   "$tgtname"  ID       STRING             0           Y(S)
V_travtype  "$tvtype"   ID       T_tvtyp            0           Y(TV)
M_degree    "degree"    ID       INTEGER            Y(V)        Y(I)
M_head      "head"      ID       T_node             Y(E)        Y(V)
M_tail      "tail"      ID       T_node             Y(E)        Y(V)
M_name      "name"      ID       STRING             YALL        Y(S)
M_indegree  "indegree"  ID       INTEGER            Y(V)        Y(I)
M_outdegree "outdegree" ID       INTEGER            Y(V)        Y(I)
T_node      "node_t"    DECLARE  T_node
T_edge      "edge_t"    DECLARE  T_edge
T_graph     "graph_t"   DECLARE  T_graph
T_obj       "obj_t"     DECLARE  T_obj
T_tvtyp     "tvtype_t"  DECLARE  T_tvtyp
F_graph     "graph"     FUNCTION G|A(1,S)|A(2,S)
F_node      "node"      FUNCTION V|A(1,G)|A(2,S)
F_edge      "edge"      FUNCTION E|A(1,V)|A(2,V)|A(3,S)
F_write     "write"     FUNCTION I|A(1,G)
F_induce    "induce"    FUNCTION I|A(1,G)
F_isdirect  "isDirect"  FUNCTION I|A(1,G)
F_isstrict  "isStrict"  FUNCTION I|A(1,G)
F_delete    "delete"    FUNCTION I|A(1,G)|A(2,O)
F_clone     "clone"     FUNCTION O|A(1,G)|A(2,O)
F_nnodes    "nNodes"    FUNCTION I|A(1,G)
F_nedges    "nEdges"    FUNCTION I|A(1,G)
C_flat      "TV_flat"   CONSTANT T_tvtyp
C_dfs       "TV_dfs"    CONSTANT T_tvtyp
