From 28ddfe4cd64a228bedf4c9068f443643e8496f7e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 13 Sep 2026 01:50:35 -0300 Subject: rework on tuple non resident object with schematics as protocol --- lib/concepts/Tuple.mli | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 lib/concepts/Tuple.mli (limited to 'lib/concepts/Tuple.mli') 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 -- cgit v1.2.3