Module Leaderlist

module Leaderlist: sig .. end

The leader list algorithm; it generates a list of basic blocks from a directed graph. A basic block is a forward path of nodes that requires neither branching from nor into.

module type G = sig .. end

Minimal graph signature for leader list algorithm

module Make: functor (G : G) -> sig .. end