fact: Definition adj_graph : Type := map.
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