From 320954996e921d7b34eb61f462799b5c6ab8ee09 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 22:09:11 -0300 Subject: new shrunk API for RNT on sakura --- lib/drl/sublanguage.ml | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 lib/drl/sublanguage.ml (limited to 'lib/drl/sublanguage.ml') diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml new file mode 100644 index 0000000..64b25cc --- /dev/null +++ b/lib/drl/sublanguage.ml @@ -0,0 +1,7 @@ +type configuration = unit +type ast = Ast.query + +let name = "drl" +let parse _ = Ok () +let parse_sexp = Parser.of_sexp +let execute = Executor.execute -- cgit v1.2.3