At:
dfs accum member
1
1
1.
the_graph: Graph
2.
the_obj: GraphObject(the_graph)
3.
l: Vertices(the_graph) List
4.
s: traversal(the_graph)
5.
i: Vertices(the_graph)
6.
(i 
nil)
(inl(i) nil) 
(inl(i) s) (inr(i) s)
By:
Obvious
Generated subgoals:
None
About:
