Module Inlined_frames.Subrange_state
val create : unit -> Inlined_frame_ranges.Inlined_frames.Subrange_state.tval advance_over_instruction :
Inlined_frame_ranges.Inlined_frames.Subrange_state.t ->
Compute_ranges_intf.L.instruction ->
Inlined_frame_ranges.Inlined_frames.Subrange_state.t