aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl/sublanguage.ml
blob: 64b25cc85dd9b14782ab4a36e6ebb8df91300361 (plain) (blame)
1
2
3
4
5
6
7
type configuration = unit
type ast = Ast.query

let name = "drl"
let parse _ = Ok ()
let parse_sexp = Parser.of_sexp
let execute = Executor.execute