diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-04-23 11:26:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-23 11:26:55 -0700 |
| commit | 12f170f438f5909511da2f26c5d33a85acc1fe64 (patch) | |
| tree | b7003f7f99c242993598ab867894da65f91f60a8 /lib/sublanguage.ml | |
| parent | 29e00769046cbc8cd020b2b7c47448d89f21ab39 (diff) | |
| download | Sakura-12f170f438f5909511da2f26c5d33a85acc1fe64.tar.gz Sakura-12f170f438f5909511da2f26c5d33a85acc1fe64.zip | |
Add build deps and sublanguage directory struct for dune
Diffstat (limited to '')
| -rw-r--r-- | lib/sublanguage.ml | 11 |
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 |
