fact: Definition verts (g : adj_graph) : list V := let c := foldM (m := writerT (Monoid_list_app) ident) (fun k_v _ => let k := fst k_v in tell (k :: nil)) (ret tt) g in psnd (unIdent (runWriterT c)).
imports: ExtLib.Core.RelDec ExtLib.Structures.Monads ExtLib.Structures.Monoid ExtLib.Structures.Reducible ExtLib.Structures.Maps ExtLib.Data.List ExtLib.Data.PPair ExtLib.Data.Monads.WriterMonad ExtLib.Data.Monads.IdentityMonad ExtLib.Data.Graph.Graph ExtLib.Data.Graph.BuildGraph