src/ERTL/build.mli

   1 (* Pasted from Pottier's PP compiler *)
   2
   3 (** This module builds an interference graph for an [ERTL] function.
   4     This is done by running a liveness analysis and exploiting its
   5     result. [build] returns both the result of the liveness analysis
   6     and the interference graph. *)
   7
   8 val build: ERTL.internal_function -> Liveness.valuation * Interference.graph
   9