WIP: Functor merge with shared tree
Let C1, C2 two contracts, their storages are nested pairs of elements. We can model them as binary trees . The functor Merging generates a new contract, which allows to share a list of subtrees of C1 and C2.
Let C1, C2 two contracts, their storages are nested pairs of elements. We can model them as binary trees . The functor Merging generates a new contract, which allows to share a list of subtrees of C1 and C2.