graph-rewriting-0.4.8: GraphRewriting/Graph/Types.hs

module GraphRewriting.Graph.Types (Graph, Rewrite, Node, Port, Edge) where

import GraphRewriting.Graph.Internal