Module 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.

type t
val create : Key.t -> Subrange_state.t -> t