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/Heading.mli | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 lib/concepts/Heading.mli (limited to 'lib/concepts/Heading.mli') diff --git a/lib/concepts/Heading.mli b/lib/concepts/Heading.mli deleted file mode 100644 index 98b8e60..0000000 --- a/lib/concepts/Heading.mli +++ /dev/null @@ -1,24 +0,0 @@ -type t - -val of_alist : (string * string) list -> t - -(** attributes in name order. *) -val attributes : t -> (string * string) BatFingerTree.t - -val names : t -> string BatSet.t -val arity : t -> int -val mem : string -> t -> bool - -module Error : sig - val unknown_attribute : string -> Condition.condition - val incompatible_domain : string -> Condition.condition -end - -val domain_of : string -> t -> (string, Condition.condition) result -val project : string BatFingerTree.t -> t -> (t, Condition.condition) result -val rename : (string * string) BatFingerTree.t -> t -> (t, Condition.condition) result -val shared : t -> t -> string BatSet.t -val joined : t -> t -> (t, Condition.condition) result -val compatible : t -> t -> bool - -module Representation : Encoding.Record.S with type t = t -- cgit v1.2.3