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 -> Ppx_sexp_conv_lib.Sexp.t) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t

val hd : ('hd * _) t -> 'hd
val tl : (_ * 'tl) t -> 'tl t