diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/sublanguage.ml | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/sublanguage.ml')
| -rw-r--r-- | lib/sublanguage.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/sublanguage.ml b/lib/sublanguage.ml index e5846ed..db66b27 100644 --- a/lib/sublanguage.ml +++ b/lib/sublanguage.ml @@ -1,4 +1,3 @@ -include Sublanguage_types (** Effect classification for sublanguage operations. Categorically: @@ -15,6 +14,7 @@ include Sublanguage_types (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 include Configuration.CONFIGURABLE @@ -23,6 +23,5 @@ module type S = sig 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 end |