aboutsummaryrefslogblamecommitdiffstats
path: root/lib/drl/sublanguage.ml
blob: d5c5977e29f3b0a7c68ebd521f26455b85335d6f (plain) (tree)
1
2
3
4
5
6
7
8
9

                                  
 
                           
                      

                  
                     
                                           
                                            
   
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