accessor

A library that makes it nicer to work with nested functional data structures
IN THIS PACKAGE
Module Accessor . Indexed
type ('index, 'inner, 'outer, 'kind) t = ( ('inner_index * 'outer_index) -> 'inner -> 'inner, 'outer_index -> 'outer -> 'outer, 'kind ) General.t constraint 'index = 'inner_index * 'outer_index

Accessors commonly don't need to support polymorphic updates, making General.t excessively verbose, but t is not useable for indexed accessors. In such cases, you can use Indexed.t to reduce some boilerplate.