aboutsummaryrefslogtreecommitdiffstats
path: root/lib/sublanguage.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-04-23 11:26:55 -0700
committerGitHub <noreply@github.com>2026-04-23 11:26:55 -0700
commit12f170f438f5909511da2f26c5d33a85acc1fe64 (patch)
treeb7003f7f99c242993598ab867894da65f91f60a8 /lib/sublanguage.ml
parent29e00769046cbc8cd020b2b7c47448d89f21ab39 (diff)
downloadSakura-12f170f438f5909511da2f26c5d33a85acc1fe64.tar.gz
Sakura-12f170f438f5909511da2f26c5d33a85acc1fe64.zip
Add build deps and sublanguage directory struct for dune
Diffstat (limited to 'lib/sublanguage.ml')
-rw-r--r--lib/sublanguage.ml11
1 files changed, 1 insertions, 10 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml
index 86d8cb4..25474af 100644
--- a/lib/sublanguage.ml
+++ b/lib/sublanguage.ml
@@ -1,8 +1,4 @@
-type cursor_result = {
- cursor_id : string;
- rows : Tuple.materialized list;
- has_more : bool;
-}
+include Sublanguage_types
(** Effect classification for sublanguage operations.
Categorically:
@@ -20,11 +16,6 @@ type cursor_result = {
- ACL -> a functor restriction: narrows the admissible natural
transformations based on authorization context *)
-type result =
- | Query of Relation.t
- | Transition of Management.Database.t * string
- | Cursor of cursor_result
-
module type S = sig
include Configuration.CONFIGURABLE