path: root/src/Grasp/Examples/implicit_push.grasp

digraph {
	1 [label="1"]
	2 [label="grasp:main"]
	3 [label="empty"]

	1 -> 2 [label="name"]
	1 -> 3 [label="stack"]
}