Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'elements nonempty = 'elements constraint 'elements = ('x, 'xs) cons
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.