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/ast.ml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/drl/ast.ml (limited to 'lib/drl/ast.ml') diff --git a/lib/drl/ast.ml b/lib/drl/ast.ml new file mode 100644 index 0000000..d7eb089 --- /dev/null +++ b/lib/drl/ast.ml @@ -0,0 +1,3 @@ +open Sexplib.Std + +type query = Base of string | Project of string list * query [@@deriving sexp] -- cgit v1.2.3