S_functor.Subrange_state
The module Subrange_state
describes information that needs to be propagated and passed to Subrange_info.create
. The state that will be used for subrange creation is the state at the end of the subrange, not at the beginning.