Module `Inlined_frame_ranges.Inlined_frames`

module Key : sig ... end

module Index : sig ... end

module Subrange_state : Compute_ranges_intf.S_subrange_state

module Subrange_info : 
  Compute_ranges_intf.S_subrange_info
    with type key := Inlined_frame_ranges.Inlined_frames.Key.t
    with type subrange_state :=
           Inlined_frame_ranges.Inlined_frames.Subrange_state.t

module Range_info : 
  Compute_ranges_intf.S_range_info
    with type key := Inlined_frame_ranges.Inlined_frames.Key.t
    with type index := Inlined_frame_ranges.Inlined_frames.Index.t

val available_before : 
  L.instruction ->
  Inlined_frame_ranges.Inlined_frames.Key.Set.t option

val available_across : 
  L.instruction ->
  Inlined_frame_ranges.Inlined_frames.Key.Set.t option

val must_restart_ranges_upon_any_change : unit -> bool

Module Inlined_frame_ranges.Inlined_frames

Module `Inlined_frame_ranges.Inlined_frames`