aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts/Tuple.mli
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-09-13 01:50:35 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-09-13 01:50:35 -0300
commit28ddfe4cd64a228bedf4c9068f443643e8496f7e (patch)
tree4d766fa4c83c94376188ed54ef8e1a150e3561af /lib/concepts/Tuple.mli
parentdfedcd91fa4e948600fb4b2edb3516f70376c3a9 (diff)
downloadRNT-28ddfe4cd64a228bedf4c9068f443643e8496f7e.tar.gz
RNT-28ddfe4cd64a228bedf4c9068f443643e8496f7e.zip
rework on tuple non resident object with schematics as protocol
Diffstat (limited to 'lib/concepts/Tuple.mli')
-rw-r--r--lib/concepts/Tuple.mli19
1 files changed, 0 insertions, 19 deletions
diff --git a/lib/concepts/Tuple.mli b/lib/concepts/Tuple.mli
deleted file mode 100644
index 06542c8..0000000
--- a/lib/concepts/Tuple.mli
+++ /dev/null
@@ -1,19 +0,0 @@
-type t
-
-val empty : t
-val is_empty : t -> bool
-val set : string -> Value.value -> t -> t
-val find_opt : string -> t -> Value.value option
-
-module Error : sig
- val unknown_attribute : string -> Condition.condition
-end
-
-val get : string -> t -> (Value.value, Condition.condition) result
-val attributes : t -> string BatSet.t
-val project : string BatFingerTree.t -> t -> (t, Condition.condition) result
-val rename : (string * string) BatFingerTree.t -> t -> (t, Condition.condition) result
-val merge : t -> t -> t option
-val hash : t -> Hash.hash
-
-module Representation : Encoding.Record.S with type t = t