diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-07 02:40:26 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-07 02:40:26 -0300 |
| commit | e9bc4aa3fa0e775acf1978722da1fde1ed8a469d (patch) | |
| tree | ff78d21ba9a03acae20b15bb2fad2f27bcde75e1 /lib/relation.ml | |
| parent | fcd8571577f2b98ffc8fa2b95781ed16982804a9 (diff) | |
| download | Sakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.tar.gz Sakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.zip | |
erlang port commands and generated tests
Diffstat (limited to '')
| -rw-r--r-- | lib/relation.ml | 9 |
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; |
