Module Inlined_frame_ranges.Inlined_frames
module Key : sig ... endmodule Index : sig ... endmodule 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.tmodule 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.tval available_before :
L.instruction ->
Inlined_frame_ranges.Inlined_frames.Key.Set.t optionval available_across :
L.instruction ->
Inlined_frame_ranges.Inlined_frames.Key.Set.t option