Module Record_builder__.Hlist.Element_index

type ('elements, 'element) t
val first_element : (('head_cons'headt
val of_tail : ('tail'elementt ‑> ((_'tailcons'elementt
val within : ('inner'elementt ‑> suffix:('outer'innerSuffix_index.t ‑> ('outer'elementt

Transform an index to find an element within a suffix of the list.

/O(n)/ allocation and work.