functor FLOYD_W(
structure G:
     sig type Edge
         type Vertex) =
struct
   fun extend g v =
   let fun addedges (x :: xs) edgeset =