new shrunk API for RNT on sakura

1 files changed, 2 insertions, 18 deletions

diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml
index db66b27..1bdead1 100644
--- a/lib/sublanguage.ml
+++ b/lib/sublanguage.ml
@@ -1,19 +1,3 @@
-(** Effect classification for sublanguage operations.
-
-    Categorically:
-    - Query: a natural transformation between instance functors (DRL).
-      Side-effect-free; the database state is unchanged.
-    - Transition: a morphism in the category of database states (DDL, DML, ICL,
-      DCL, and future TCL). Produces a new state via substitution (Harper, PFPL
-      ch. 3-4).
-
-    Future sublanguages:
-    - TCL -> Transition (transaction boundaries are state morphisms with
-      atomicity constraints)
-    - PPL -> new effect class: potentially non-terminating computation
-      (Turing-complete; breaks the termination guarantee of DRL)
-    - ACL -> a functor restriction: narrows the admissible natural
-      transformations based on authorization context *)
 include Sublanguage_types
 
 module type S = sig
@@ -22,6 +6,6 @@ module type S = sig
   type ast
 
   val name : string
-  val parse_sexp : Sexplib.Sexp.t -> (ast, Condition.t) Result.t
-  val execute : Sublanguage_context.t -> ast -> (result, Condition.t) Result.t
+  val parse_sexp : Sexplib.Sexp.t -> (ast, Condition.condition) Result.t
+  val execute : Sublanguage_context.t -> ast -> (result, Condition.condition) Result.t
 end