module State_topological:sig
..end
This functor provides functions which allow iterating over a state graph in topological order.
That is the module Topological
from OcamlGraph, but it takes into account
state clusters.
module type G =sig
..end
module Make: