diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/sublanguage.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index 3df91f1..d92358e 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -14,9 +14,16 @@ (Turing-complete; breaks the termination guarantee of DRL) - ACL -> a functor restriction: narrows the admissible natural transformations based on authorization context *) +type cursor_result = { + cursor_id : string; + rows : Tuple.materialized list; + has_more : bool; +} + type result = | Query of Relation.t | Transition of Management.Database.t * string + | Cursor of cursor_result module type S = sig type storage |