You can search for identifiers within the package.
in-package search v0.2.0
An implementation of paths as string lists.
type t = string list
The type for path values.
type step = string
Type type for path's steps.
val empty : t
The empty path.
val v : step list -> t
Create a path from a list of steps.
val is_empty : t -> bool
Check if the path is empty.
val cons : step -> t -> t
Prepend a step to the path.
val rcons : t -> step -> t
Append a step to the path.
val decons : t -> (step * t) option
Deconstruct the first element of the path. Return None if the path is empty.
None
val rdecons : t -> (t * step) option
Deconstruct the last element of the path. Return None if the path is empty.
val map : t -> (step -> 'a) -> 'a list
map t f maps f over all steps of t.
map t f
f
t
val t : t Type.t
t is the value type for t.
val step_t : step Type.t
step_t is the value type for step.
step_t
step