package tezos-storage

The type for path values.

Type type for path's steps.

The empty path.

Create a path from a list of steps.

Check if the path is empty.

Prepend a step to the path.

Append a step to the path.

Deconstruct the first element of the path. Return None if the path is empty.

Deconstruct the last element of the path. Return None if the path is empty.

map t f maps f over all steps of t.

t is the value type for t.

step_t is the value type for step.