plebeia
Merkle Patricia tree implementation
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val pp : Plebeia__Utils.Format.formatter -> t -> unit
Pretty printing
val apply : Plebeia__Cursor.cursor -> t -> Plebeia__Cursor.cursor
Application of a diff
val diff :
Plebeia__Context.t ->
Plebeia__Node.node ->
Plebeia__Node.node ->
t list
diff src dst
gets the segment based diff between 2 nodes
val check :
t list ->
Plebeia__Context.t ->
Plebeia__Node.node ->
Plebeia__Node.node ->
unit
check diffs context n1 n2
checks the correctness of diffs
between n1
n2
by applying them to n1
and comparing the hashes of the application result and n2
.
If hashes are not equal, it prints an error message and raises Assert_failure
.
n2
must be already hashed.