From e3d3e20dfea253de291d5b31059cd55c0eaabf02 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 11 May 2026 23:10:27 -0300
Subject: Multigroup unified reference for hierarchical access

---
 lib/prl/executor.ml | 4 ++--
 lib/prl/runtime.ml  | 7 ++++---
 2 files changed, 6 insertions(+), 5 deletions(-)

(limited to 'lib/prl')

diff --git a/lib/prl/executor.ml b/lib/prl/executor.ml
index 6a53656..10b5142 100644
--- a/lib/prl/executor.ml
+++ b/lib/prl/executor.ml
@@ -20,8 +20,8 @@ module Make (Storage : Management.Physical.S) = struct
   let ( let* ) = Result.bind
   let map_rel_error r = Result.map_error (fun e -> RelationError e) r
 
-  let require_relation (db : Management.Database.t) rel_name =
-    match Management.Database.get_relation db rel_name with
+  let require_relation (db : Management.Multigroup.multigroup) rel_name =
+    match Ops.get_relation db#hash rel_name with
     | Some rel -> Ok rel
     | None -> Error (RelationNotFound rel_name)
 
diff --git a/lib/prl/runtime.ml b/lib/prl/runtime.ml
index 4b746d4..9ebef84 100644
--- a/lib/prl/runtime.ml
+++ b/lib/prl/runtime.ml
@@ -69,11 +69,12 @@ let make_producer relation_name schema (impl : Sakura_prl_api.implementation) :
  fun bindings -> make_generator relation_name schema impl bindings
 
 let make_membership_criteria schema (impl : Sakura_prl_api.implementation) :
-    (string -> Merkle.t option) -> Tuple.t -> bool =
+    Tuple.t -> bool =
   match impl.membership_criteria with
-  | None -> fun _ _ -> false
+  | None -> fun _ -> false
   | Some check -> (
-      fun _tree_of -> function
+      (* fun _tree_of -> *)
+         function
         | Tuple.NonMaterialized _ -> false
         | Tuple.Materialized m -> (
             match to_plugin_row schema m with
-- 
cgit v1.2.3