(*
 * SPDX-FileCopyrightText: 2024 The Forester Project Contributors
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *)

%token <string option * string> XML_ELT_IDENT
%token <string> DECL_XMLNS
%token <string> TEXT VERBATIM
%token <string> COMMENT
%token <string> WHITESPACE
%token <string> IDENT

%token <string> HASH_IDENT
%token IMPORT EXPORT DEF NAMESPACE LET FUN OPEN
%token OBJECT PATCH CALL
%token SUBTREE SCOPE PUT GET DEFAULT ALLOC
%token SLASH LBRACE RBRACE LSQUARE RSQUARE LPAREN RPAREN HASH_LBRACE HASH_HASH_LBRACE TICK AT_SIGN HASH
%token EOF

%token DATALOG

%token DX_ENTAILED
%token <string> DX_VAR

%%