plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
Module Plebeia . Fs . Path

Parameters

Signature

type name = Name.t
type t = name list

Path, a list of names

val length : t -> int

Length of the names of a path

val equal : t -> t -> bool
val to_string : t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val to_segments : t -> Segment.t list
val of_segments : Segment.t list -> t option
val is_prefix_of : t -> t -> t option

is_prefix_of p1 p2 checks p1 is a prefix of p2. If it is, it returns Some p2' such that p1 @ p2' = p2. Otherwise it returns None.