diff options
Diffstat (limited to 'lib/concepts/Tuple.mli')
| -rw-r--r-- | lib/concepts/Tuple.mli | 19 |
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 |
