From fd4e46653d94807a52d5506a172791f1ec1ec891 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Tue, 21 Jul 2026 02:18:27 -0300 Subject: architecture diagram on CI --- lib/backend/execution/FOL.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib/backend/execution/FOL.ml') diff --git a/lib/backend/execution/FOL.ml b/lib/backend/execution/FOL.ml index 302285d..7da890d 100644 --- a/lib/backend/execution/FOL.ml +++ b/lib/backend/execution/FOL.ml @@ -1,3 +1,8 @@ +(* @uses Tuple -- project, rename, merge over result streams *) +(* @needs Value *) +(* @needs Path *) +(* @needs Condition *) + module Plan = struct type path_arg = Var of string | Const of Concepts.Value.value -- cgit v1.2.3