Module layers

Layers are containers of lists of some type.

The intent is that they “attach” to an outer layer which has as many values as the layer has lists, thereby associating a list with each outer value. A sequence of layers, each matching the number of values in its predecessor, forms a layered trie: a tree with values of some type on nodes at each depth.

We will form tries here by layering [Keys, Vals, Upds] or [Keys, Upds].

Structs

Upds

A container for non-empty lists of updates.

UpdsBuilder

Helper type for constructing Upds containers.

Vals

A container for non-empty lists of values.