Module Universal_iterators.IteratorsSource

Sourcemodule Intraproc : sig ... end

Intra-procedural iterator for blocks, assignments and tests

Sourcemodule Loops : sig ... end

Loops iterator with widening

Sourcemodule Program : sig ... end

Main handler of Universal programs.

Sourcemodule Unittest : sig ... end

Unit tests iterator.