Module Strongly_connected_components.S.Id

module Id: Identifiable.S 

type t 
module T: Identifiable.Thing  with type t = t
include Identifiable.Thing
module Set: Identifiable.Set  with module T := T
module Map: Identifiable.Map  with module T := T
module Tbl: Identifiable.Tbl  with module T := T