encode relations on module base

1 files changed, 18 insertions, 0 deletions

diff --git a/lib/tuple.ml b/lib/tuple.ml
new file mode 100644
index 0000000..07632db
--- /dev/null
+++ b/lib/tuple.ml
@@ -0,0 +1,18 @@
+module AttributeMap = Map.Make(String)
+
+type non_materialized = {
+  hash : Conventions.Hash.t;
+  relation : Conventions.Name.t;
+  attributes : Conventions.Hash.t AttributeMap.t;
+}
+
+type materialized = {
+  relation: Conventions.Name.t;
+  attributes: Conventions.AbstractValue.t AttributeMap.t
+}
+
+type t = 
+  | Materialized of materialized
+  | NonMaterialized of non_materialized
+
+let make_materialized ~relation ~attributes = Materialized { relation; attributes }