package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

md5=f528f42d3e72d400265eb6bc51901fca

sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

Sourcemodule Path : sig ... end

Sourcetype name = Name.t

Sourcemodule Map : sig ... end

Sourcetype model_tree = Simulation(Name).model_tree =

Sourcetype raw_cursor = Simulation(Name).raw_cursor =

Sourcetype cursor = raw_cursor

Sourcetype view = model_tree

Sourcetype hash = string

Sourceval pp_model_tree_map : Format.formatter -> model_tree Map.t -> unit

Sourceval pp_view : Format.formatter -> model_tree -> unit

Sourceval pp_trail : Format.formatter -> (Name.t * model_tree Map.t) list -> unit

Sourceval pp_cursor : Format.formatter -> raw_cursor -> unit

Sourcetype error =

Sourcetype Plebeia.Error.t +=

Sourcemodule Context : sig ... end

Sourceval empty : 'a -> raw_cursor

Sourceval make : 'a -> 'b -> 'a

Sourceval error_fs : error -> ('a, Plebeia.Error.t) result

Sourcemodule Op : sig ... end

Sourcemodule Op_lwt : sig ... end