Module Hlist.Suffix_index

type ('elements_before, 'elements_after) t
val whole_list : ('elements'elements) t
val tail_of : ('elements(_'tail) cons) t -> ('elements'tail) t