package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Module `SortActions`Source

Time-stamp: <modified the 15/01/2015 (at 10:47) by Erwan Jahier>

Topological sort of actions. Raises an error in a Dependency Cycle is found (hence the Lxm.t).

Sourceval f : Action.t list -> ActionsDeps.t -> Lxm.t -> Soc.gao list