Module BTL_Renumber

module BTL_Renumber: sig .. end

BTL CFG renumbering oracle

val recompute_inumbs : BTL.iblock_info Maps.PTree.t -> BinNums.positive -> unit

val regenerate_btl_tree : BTL.iblock_info Maps.PTree.t ->
       Camlcoq.P.t ->
       (BTL.iblock_info Maps.PTree.t * Camlcoq.P.t) * Camlcoq.P.t Maps.PTree.t

val renumber : BTL.iblock_info Maps.PTree.t ->
       Camlcoq.P.t ->
       (BTL.iblock_info Maps.PTree.t * Camlcoq.P.t) * Camlcoq.P.t Maps.PTree.t