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