GraphRewriting.Graph.Types

data Graph n

data Rewrite n a

data Node

data Port

type Edge