aboutsummaryrefslogtreecommitdiffstats
path: root/lib/relation.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-03-07 02:40:26 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-03-07 02:40:26 -0300
commite9bc4aa3fa0e775acf1978722da1fde1ed8a469d (patch)
treeff78d21ba9a03acae20b15bb2fad2f27bcde75e1 /lib/relation.ml
parentfcd8571577f2b98ffc8fa2b95781ed16982804a9 (diff)
downloadSakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.tar.gz
Sakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.zip
erlang port commands and generated tests
Diffstat (limited to 'lib/relation.ml')
-rw-r--r--lib/relation.ml9
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/relation.ml b/lib/relation.ml
index 705dcc5..0773c6c 100644
--- a/lib/relation.ml
+++ b/lib/relation.ml
@@ -1,6 +1,5 @@
-module Tree = struct
- type t = unit (* TODO: Radix Merkle tree here *)
-end
+(** Use the Merkle module for tuple hash storage *)
+module Tree = Merkle
module RelationConstraint = struct
type name = string
@@ -32,6 +31,7 @@ end
type t = {
hash : Conventions.Hash.t option;
name : Conventions.Name.t;
+ schema : Schema.t;
tree : Tree.t option;
constraints : RelationConstraint.t option;
cardinality : Conventions.Cardinality.t;
@@ -41,11 +41,12 @@ type t = {
lineage : Lineage.t;
}
-let make ~hash ~name ~tree ~constraints ~cardinality ~generator
+let make ~hash ~name ~schema ~tree ~constraints ~cardinality ~generator
~membership_criteria ~provenance ~lineage =
{
hash;
name;
+ schema;
tree;
constraints;
cardinality;