diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Tuple.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/kernel/Tuple.ml b/lib/kernel/Tuple.ml index e8f2f7f..50ce5b5 100644 --- a/lib/kernel/Tuple.ml +++ b/lib/kernel/Tuple.ml @@ -42,6 +42,10 @@ module Make (S : Abstract.Storage.STORAGE) = struct module AttributeM = Merkle.Interface (S) (Merkle.StringKey) (Attribute) + (* TODO: ephemeral tuples are served by instantiating this functor + over an in-memory storage. Consider later splitting [t] into + resident (an address) and ephemeral (an in-memory attribute map) + forms instead. *) type t = { type_ : string; attributes : AttributeM.address } module rec Representation : (Concepts.Encoding.Record.S with type t = t) = |