Module `Inlined_frame_ranges`

module L = Linear

module Inlined_frames : sig ... end

module Subrange_state = Inlined_frame_ranges.Inlined_frames.Subrange_state

module Subrange_info = Inlined_frame_ranges.Inlined_frames.Subrange_info

module Range_info = Inlined_frame_ranges.Inlined_frames.Range_info

include sig ... end

module Subrange : sig ... end

module Range : sig ... end

type t = Compute_ranges.Make(Inlined_frame_ranges.Inlined_frames).t

val print : Stdlib.Format.formatter -> Inlined_frame_ranges.t -> unit

val empty : Inlined_frame_ranges.t

val create : 
  ppf_dump:Stdlib.Format.formatter ->
  Linear.fundecl ->
  Inlined_frame_ranges.t * Linear.fundecl

val iter : 
  Inlined_frame_ranges.t ->
  f:
    (Inlined_frame_ranges.Inlined_frames.Index.t ->
      Inlined_frame_ranges.Range.t ->
      unit) ->
  unit

val fold : 
  Inlined_frame_ranges.t ->
  init:'a ->
  f:
    ('a ->
      Inlined_frame_ranges.Inlined_frames.Index.t ->
      Inlined_frame_ranges.Range.t ->
      'a) ->
  'a

val find : 
  Inlined_frame_ranges.t ->
  Inlined_frame_ranges.Inlined_frames.Index.t ->
  Inlined_frame_ranges.Range.t

val all_indexes : Inlined_frame_ranges.t -> Inlined_frames.Index.Set.t

val rewrite_labels_and_remove_empty_subranges_and_ranges : 
  Inlined_frame_ranges.t ->
  env:Label.t Label.Map.t ->
  Inlined_frame_ranges.t

Module Inlined_frame_ranges

Module `Inlined_frame_ranges`