Module Available_ranges_vars.Subrange_state
val create : unit -> tval advance_over_instruction : t -> Linear.instruction -> tAvailable_ranges_vars.Subrange_stateval create : unit -> tval advance_over_instruction : t -> Linear.instruction -> t