Module TopoSort.ASTFoldSource

Entry-point for dependency-ordered iterations on ASTs.

Sourcetype step =
  1. | Single of AST.decl
    (*

    A single declaration that is not recursive.

    *)
  2. | Recursive of AST.decl list
    (*

    A set of mutually recursive definitions.

    *)

A step in the strongly-connected folder.

Sourceval fold : (step -> 'acc -> 'acc) -> AST.t -> 'acc -> 'acc

fold f ast is the iterations of f on all mutually recursive declarations in ast ordered by their definitions.