diff options
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 |