No toplevel file for Digraph

Stream: mathlib4

[Shreyas Srinivas]

In the Combinatorics folder, there seems to be no file Digraph.lean corresponding to the Digraph folder. So import Mathlib.Combinatorics.Digraph fails. Is this deliberate?

[Yaël Dillies]

This isn't specific to digraphs at all. We almost never have top level folders, and the ones that we have are usually remnants of a past where the folder didn't exist yet (and so they should be moved to inside the folder).

[Shreyas Srinivas]

So how is Digraph accessible from the top level import Mathlib?

[Shreyas Srinivas]

Are all the files individually included in some higher folder?

[Yaël Dillies]

They are each imported separately in Mathlib.lean

[Shreyas Srinivas]

Anyway, the good news is I ported the Walk file to Digraph in 20 mins flat. Along with Darts