From e9bc4aa3fa0e775acf1978722da1fde1ed8a469d Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 7 Mar 2026 02:40:26 -0300 Subject: erlang port commands and generated tests --- lib/relation.ml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'lib/relation.ml') 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; -- cgit v1.2.3