module Graph where

open import Graph.Base public