extracted/untrusted/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:
   9  AST.ident List.list ->
  10   Joint.joint_internal_function ->
  11    Positive.pos Identifiers.identifier_map ->
  12     Fixpoints.valuation ->
  13      Untrusted_interference.graph