module Suffix_index : sig ... end
val drop : 'elements_before t ‑> ('elements_before, 'elements_after) Suffix_index.t ‑> 'elements_after t
Drop some prefix of an Hlist to get a suffix of it.
/O(n)/ allocation and work.
module Element_index : sig ... end
val nth : 'elements t ‑> ('elements, 'element) Element_index.t ‑> 'element
Get the element at some index of an hlist.
/O(n)/ work, no allocation.