functor (H : Exthtbl.S) ->
  sig
    type vertex = H.key
    type 'a source = 'a -> Wstdlib.MakeSCC.vertex
    type 'a adjacency = (Wstdlib.MakeSCC.vertex -> unit) -> 'a -> unit
    val scc :
      'a Wstdlib.MakeSCC.source ->
      'a Wstdlib.MakeSCC.adjacency -> 'a list -> (bool * 'a list) list
  end