fact: Fixpoint list_in_dec v (ls : list V) : bool := match ls with | nil => false | l :: ls => if eq_dec l v then true else list_in_dec v ls end.
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