Idris2Doc : Data.Graph

Data.Graph

(source)
Reexports
import public Data.Graph.Types
import public Data.Graph.Util