Module IntDigraph.IndexInt

module IndexInt: Labeled(Int0)(Int0)

include struct ... end