aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl/sublanguage.ml
blob: d5c5977e29f3b0a7c68ebd521f26455b85335d6f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
module Make (NT : Nt.S) = struct
  module Exec = Executor.Make (NT)

  type configuration = unit
  type ast = Ast.query

  let name = "drl"
  let parse _ = Ok ()
  let parse_sexp sexp = Parser.of_sexp sexp
  let execute ctx ast = Exec.execute ctx ast
end