jon.recoil.org

Module Inlined_frame_ranges

module L = Linear
module Inlined_frames : sig ... end
module Subrange_state = Inlined_frames.Subrange_state
module Subrange_info = Inlined_frames.Subrange_info
module Range_info = Inlined_frames.Range_info
include sig ... end
module Subrange : sig ... end
module Range : sig ... end
val print : Format.formatter -> t -> unit
val empty : t
val create : ppf_dump:Format.formatter -> Linear.fundecl -> t * Linear.fundecl
val iter : t -> f:(Inlined_frames.Index.t -> Range.t -> unit) -> unit
val fold : t -> init:'a -> f:('a -> Inlined_frames.Index.t -> Range.t -> 'a) -> 'a
val all_indexes : t -> Inlined_frames.Index.Set.t
val rewrite_labels_and_remove_empty_subranges_and_ranges : t -> env:Label.t Label.Map.t -> t