:: deftheorem defines .addEdge GLIB_001:def 13 :
for G being _Graph
for W being Walk of G
for e being object holds W .addEdge e = W .append (G .walkOf ((W .last()),e,((W .last()) .adj e)));