Module Regalloc_invariants
val precondition : Cfg_with_layout.t -> unitval postcondition_layout : Cfg_with_layout.t -> unitval postcondition_liveness : Cfg_with_infos.t -> unitRegalloc_invariantsval precondition : Cfg_with_layout.t -> unitval postcondition_layout : Cfg_with_layout.t -> unitval postcondition_liveness : Cfg_with_infos.t -> unit