diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-30 01:10:01 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-30 01:10:01 +0000 |
| commit | 2153edbfff2996e9f01654fb6e1d734c3d4d3079 (patch) | |
| tree | 8718e531ec44b7a746dc31e7c0dbdddc5bee2c71 | |
| parent | 688b72d518746dc0ba614c3e182372e9975f3cb1 (diff) | |
| download | Sakura-2153edbfff2996e9f01654fb6e1d734c3d4d3079.tar.gz Sakura-2153edbfff2996e9f01654fb6e1d734c3d4d3079.zip | |
Equality for materialized tuples
| -rw-r--r-- | lib/tuple.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/tuple.ml b/lib/tuple.ml index 24eecab..ffeb3c9 100644 --- a/lib/tuple.ml +++ b/lib/tuple.ml @@ -32,3 +32,6 @@ let make_materialized ~relation ~attributes = attributes; (* lineage = None *) } + +let materialized_equal a b = + AttributeMap.equal Attribute.materialized_equal a.attributes b.attributes |