Functions that work on graphs as an inductive data structure.
Functions to manage internal representation of inductive graph.
Functions for use by other modules.