1-S.Subrange_info
The module Subrange_info
has a similar purpose to Range_info
, but for subranges. Its distinguishing property is that it can store information about its context using the additional subrange_state
parameter of its create
function.
val create : Key.t -> Subrange_state.t -> t