method virtual empty : 'omethod virtual add_node : 'a -> 'omethod virtual del_node : 'a -> 'omethod virtual add_arc : ('a * 'a) -> 'omethod virtual del_arc : ('a * 'a) -> 'omethod virtual predecessors : 'a -> 'a Oset.osetmethod virtual successors : 'a -> 'a Oset.osetmethod mydebug : ('a * 'a list) list