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