package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

md5=aecc184507170faed53e543195687233

sha512=9799144ea7ebc997681353136393815ac73040e2ae5227f2787c1331bb393dbd318b1fa3ae8d075b383cda4fe7584b80f7f32a4aa99c870a0bd2d76e91024bf5

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