1 files changed, 0 insertions, 24 deletions
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