module GrbTrRemoveMuxStrictCycles: sig .. end
Module for transformation that removes cycles from graph
Module for transformation that removes cycles from graph
module NodeNumber: sig .. end
NodeNumber is a module that gives out natural numbers to be assingned to nodes to show the orded in which they were found in depth first search
module Tree: sig .. end
Module that creates a tree and contains functions that work on a tree
module Tr: sig .. end