package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

md5=104e71a50a29b96a4b508004a539c88a

sha512=5edcd6c73dc276011c6344e121e978d294e3b8847ce6e8b28b03a2c7f3ed6bd1a860775dfb9d5b399442d66eeffcb45d9aab6f08b4accdf9287b5b7dbbf91506

type name = Base.Name.t

type t = name list

val length : t -> int

val equal : t -> t -> bool

val to_string : t -> string

val pp : Format.formatter -> t -> unit

val to_segments : t -> Plebeia.Segment.t list

val of_segments : Plebeia.Segment.t list -> t option

val is_prefix_of : t -> t -> t option