Module Plebeia.KeySource

Sourcetype t
Sourceval encoding : t Data_encoding.t
Sourcetype gside =
  1. | Left
  2. | Right
  3. | Bud
Sourceval empty : t
Sourceval of_segments : Segment.t list -> t

Assumes the segments start from a Bud

Sourceval to_segments : t -> [> `From_Bud of Segment.t list | `From_non_Bud of Segment.t list ]
Sourceval of_path : Path.t -> t
Sourceval to_path : t -> Path.t option
Sourceval is_empty : t -> bool
Sourceval cut : t -> (gside * t) option
Sourceval cons : gside -> t -> t
Sourceval has_prefix : Segment.t -> t -> t option

has_prefix seg k returns Some postfix when seg is a prefix of k and the postfix is postfix

Sourceval is_prefix : t -> Segment.t -> Segment.t option

is_prefix k seg returns Some postfix when k is a prefix of seg and the postfix is postfix

Sourceval to_string : t -> string
Sourceval pp : Format.formatter -> t -> unit
Sourceval keys : (Node_type.t -> Node_type.view) -> Node_type.t -> t list

List all the keys of the node