1 (* Pasted from Pottier's PP compiler *)
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. *)
10 Joint.joint_internal_function ->
11 Positive.pos Identifiers.identifier_map ->
12 Fixpoints.valuation ->
13 Untrusted_interference.graph