accessor

A library that makes it nicer to work with nested functional data structures
IN THIS PACKAGE
Module Accessor . Index
type 'a t =
| [] : Base.unit t
| :: : 'a * 'b t -> ('a * 'b) t

A stack of indices accumulated during traversal of a data structure.

val sexp_of_t : ( 'a -> Sexplib0.Sexp.t ) -> 'a t -> Sexplib0.Sexp.t
val hd : ('hd * _) t -> 'hd
val tl : (_ * 'tl) t -> 'tl t