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 := Key.t
    with type subrange_state := Subrange_state.t

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

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

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

val must_restart_ranges_upon_any_change : unit -> bool

Module Inlined_frame_ranges.Inlined_frames