Module Path.Caret

Carets.

A path and a spatial localisation.

Carets

type path := t
type pos =
  1. | Before
    (*

    The void before the data indexed by a path.

    *)
  2. | Over
    (*

    The data indexed by a path.

    *)
  3. | After
    (*

    The void after the data indexed by a path.

    *)

The type for caret positions.

type t = pos * path

The type for carets. A path and a caret position.

val of_string : string -> (t, string) Stdlib.result

of_string s parses a caret according to the caret syntax .

val pp : t fmt

pp formats carets.