(lang dune 3.20)
(name elpi)
(version v2.0.7)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/elpi)
 (bin /usr/bin)
 )
(files
 (lib
  (.private/elpi__Builtin_map.cmi
   .private/elpi__Builtin_map.cmt
   .private/elpi__Builtin_set.cmi
   .private/elpi__Builtin_set.cmt
   .private/elpi__Builtin_stdlib.cmi
   .private/elpi__Builtin_stdlib.cmt
   API.ml
   API.mli
   META
   builtin.elpi
   builtin.ml
   builtin.mli
   builtin_map.ml
   builtin_set.ml
   builtin_stdlib.ml
   compiler/compiler.ml
   compiler/compiler.mli
   compiler/compiler_data.ml
   compiler/determinacy_checker.ml
   compiler/determinacy_checker.mli
   compiler/elpi_compiler.a
   compiler/elpi_compiler.cma
   compiler/elpi_compiler.cmi
   compiler/elpi_compiler.cmt
   compiler/elpi_compiler.cmx
   compiler/elpi_compiler.cmxa
   compiler/elpi_compiler.ml
   compiler/elpi_compiler__Compiler.cmi
   compiler/elpi_compiler__Compiler.cmt
   compiler/elpi_compiler__Compiler.cmti
   compiler/elpi_compiler__Compiler.cmx
   compiler/elpi_compiler__Compiler_data.cmi
   compiler/elpi_compiler__Compiler_data.cmt
   compiler/elpi_compiler__Compiler_data.cmx
   compiler/elpi_compiler__Determinacy_checker.cmi
   compiler/elpi_compiler__Determinacy_checker.cmt
   compiler/elpi_compiler__Determinacy_checker.cmti
   compiler/elpi_compiler__Determinacy_checker.cmx
   compiler/elpi_compiler__Type_checker.cmi
   compiler/elpi_compiler__Type_checker.cmt
   compiler/elpi_compiler__Type_checker.cmti
   compiler/elpi_compiler__Type_checker.cmx
   compiler/type_checker.ml
   compiler/type_checker.mli
   dune-package
   elpi.a
   elpi.cma
   elpi.cmi
   elpi.cmt
   elpi.cmx
   elpi.cmxa
   elpi.ml
   elpi__API.cmi
   elpi__API.cmt
   elpi__API.cmti
   elpi__API.cmx
   elpi__Builtin.cmi
   elpi__Builtin.cmt
   elpi__Builtin.cmti
   elpi__Builtin.cmx
   elpi__Builtin_map.cmx
   elpi__Builtin_set.cmx
   elpi__Builtin_stdlib.cmx
   lexer_config/elpi_lexer_config.a
   lexer_config/elpi_lexer_config.cma
   lexer_config/elpi_lexer_config.cmi
   lexer_config/elpi_lexer_config.cmt
   lexer_config/elpi_lexer_config.cmx
   lexer_config/elpi_lexer_config.cmxa
   lexer_config/elpi_lexer_config.ml
   lexer_config/elpi_lexer_config__Lexer_config.cmi
   lexer_config/elpi_lexer_config__Lexer_config.cmt
   lexer_config/elpi_lexer_config__Lexer_config.cmx
   lexer_config/elpi_lexer_config__Tokens.cmi
   lexer_config/elpi_lexer_config__Tokens.cmt
   lexer_config/elpi_lexer_config__Tokens.cmti
   lexer_config/elpi_lexer_config__Tokens.cmx
   lexer_config/lexer_config.ml
   lexer_config/tokens.ml
   lexer_config/tokens.mli
   opam
   parser/ast.ml
   parser/ast.mli
   parser/elpi_parser.a
   parser/elpi_parser.cma
   parser/elpi_parser.cmi
   parser/elpi_parser.cmt
   parser/elpi_parser.cmx
   parser/elpi_parser.cmxa
   parser/elpi_parser.ml
   parser/elpi_parser__Ast.cmi
   parser/elpi_parser__Ast.cmt
   parser/elpi_parser__Ast.cmti
   parser/elpi_parser__Ast.cmx
   parser/elpi_parser__Error_messages.cmi
   parser/elpi_parser__Error_messages.cmt
   parser/elpi_parser__Error_messages.cmx
   parser/elpi_parser__Grammar.cmi
   parser/elpi_parser__Grammar.cmt
   parser/elpi_parser__Grammar.cmti
   parser/elpi_parser__Grammar.cmx
   parser/elpi_parser__Lexer.cmi
   parser/elpi_parser__Lexer.cmt
   parser/elpi_parser__Lexer.cmx
   parser/elpi_parser__Parse.cmi
   parser/elpi_parser__Parse.cmt
   parser/elpi_parser__Parse.cmti
   parser/elpi_parser__Parse.cmx
   parser/elpi_parser__Parser_config.cmi
   parser/elpi_parser__Parser_config.cmt
   parser/elpi_parser__Parser_config.cmx
   parser/error_messages.ml
   parser/grammar.ml
   parser/grammar.mli
   parser/lexer.ml
   parser/parse.ml
   parser/parse.mli
   parser/parser_config.ml
   runtime/bl.ml
   runtime/bl.mli
   runtime/data.ml
   runtime/discrimination_tree.ml
   runtime/discrimination_tree.mli
   runtime/elpi_runtime.a
   runtime/elpi_runtime.cma
   runtime/elpi_runtime.cmi
   runtime/elpi_runtime.cmt
   runtime/elpi_runtime.cmx
   runtime/elpi_runtime.cmxa
   runtime/elpi_runtime.ml
   runtime/elpi_runtime__Bl.cmi
   runtime/elpi_runtime__Bl.cmt
   runtime/elpi_runtime__Bl.cmti
   runtime/elpi_runtime__Bl.cmx
   runtime/elpi_runtime__Data.cmi
   runtime/elpi_runtime__Data.cmt
   runtime/elpi_runtime__Data.cmx
   runtime/elpi_runtime__Discrimination_tree.cmi
   runtime/elpi_runtime__Discrimination_tree.cmt
   runtime/elpi_runtime__Discrimination_tree.cmti
   runtime/elpi_runtime__Discrimination_tree.cmx
   runtime/elpi_runtime__Ptmap.cmi
   runtime/elpi_runtime__Ptmap.cmt
   runtime/elpi_runtime__Ptmap.cmti
   runtime/elpi_runtime__Ptmap.cmx
   runtime/elpi_runtime__Runtime.cmi
   runtime/elpi_runtime__Runtime.cmt
   runtime/elpi_runtime__Runtime.cmti
   runtime/elpi_runtime__Runtime.cmx
   runtime/elpi_runtime__Runtime_trace_off.cmi
   runtime/elpi_runtime__Runtime_trace_off.cmt
   runtime/elpi_runtime__Runtime_trace_off.cmti
   runtime/elpi_runtime__Runtime_trace_off.cmx
   runtime/ptmap.ml
   runtime/ptmap.mli
   runtime/runtime.ml
   runtime/runtime.mli
   runtime/runtime_trace_off.ml
   runtime/runtime_trace_off.mli
   trace.atd
   trace/ppx/trace_ppx.a
   trace/ppx/trace_ppx.cma
   trace/ppx/trace_ppx.cmi
   trace/ppx/trace_ppx.cmt
   trace/ppx/trace_ppx.cmx
   trace/ppx/trace_ppx.cmxa
   trace/ppx/trace_ppx.ml
   trace/runtime/runtime.ml
   trace/runtime/runtime.mli
   trace/runtime/trace_ppx_runtime.a
   trace/runtime/trace_ppx_runtime.cma
   trace/runtime/trace_ppx_runtime.cmi
   trace/runtime/trace_ppx_runtime.cmt
   trace/runtime/trace_ppx_runtime.cmx
   trace/runtime/trace_ppx_runtime.cmxa
   trace/runtime/trace_ppx_runtime.ml
   trace/runtime/trace_ppx_runtime__Runtime.cmi
   trace/runtime/trace_ppx_runtime__Runtime.cmt
   trace/runtime/trace_ppx_runtime__Runtime.cmti
   trace/runtime/trace_ppx_runtime__Runtime.cmx
   trace_atd.ts
   util/elpi_util.a
   util/elpi_util.cma
   util/elpi_util.cmi
   util/elpi_util.cmt
   util/elpi_util.cmx
   util/elpi_util.cmxa
   util/elpi_util.ml
   util/elpi_util__Util.cmi
   util/elpi_util__Util.cmt
   util/elpi_util__Util.cmti
   util/elpi_util__Util.cmx
   util/util.ml
   util/util.mli))
 (libexec
  (compiler/elpi_compiler.cmxs
   elpi.cmxs
   lexer_config/elpi_lexer_config.cmxs
   parser/elpi_parser.cmxs
   runtime/elpi_runtime.cmxs
   trace/ppx/ppx.exe
   trace/ppx/trace_ppx.cmxs
   trace/runtime/trace_ppx_runtime.cmxs
   util/elpi_util.cmxs))
 (bin (elpi elpi-trace-elaborator))
 )
(library
 (name elpi)
 (kind normal)
 (archives (byte elpi.cma) (native elpi.cmxa))
 (plugins (byte elpi.cma) (native elpi.cmxs))
 (native_archives elpi.a)
 (requires
  re.str
  unix
  stdlib-shims
  elpi.parser
  elpi.util
  elpi.compiler
  elpi.runtime
  ppx_deriving.runtime)
 (main_module_name Elpi)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi)
     (visibility public)
     (kind alias)
     (source (path Elpi) (impl (path elpi.ml-gen))))
    (name Elpi)
    (modules
     (module
      (obj_name elpi__API)
      (visibility public)
      (source (path API) (intf (path API.mli)) (impl (path API.ml))))
     (module
      (obj_name elpi__Builtin)
      (visibility public)
      (source
       (path Builtin)
       (intf (path builtin.mli))
       (impl (path builtin.ml))))
     (module
      (obj_name elpi__Builtin_map)
      (visibility private)
      (source (path Builtin_map) (impl (path builtin_map.ml))))
     (module
      (obj_name elpi__Builtin_set)
      (visibility private)
      (source (path Builtin_set) (impl (path builtin_set.ml))))
     (module
      (obj_name elpi__Builtin_stdlib)
      (visibility private)
      (source (path Builtin_stdlib) (impl (path builtin_stdlib.ml))))))
   (wrapped true))))
(library
 (name elpi.compiler)
 (kind normal)
 (archives
  (byte compiler/elpi_compiler.cma)
  (native compiler/elpi_compiler.cmxa))
 (plugins
  (byte compiler/elpi_compiler.cma)
  (native compiler/elpi_compiler.cmxs))
 (native_archives compiler/elpi_compiler.a)
 (requires
  re.str
  unix
  stdlib-shims
  elpi.parser
  elpi.util
  elpi.runtime
  ppx_deriving.runtime)
 (main_module_name Elpi_compiler)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_compiler)
     (visibility public)
     (kind alias)
     (source (path Elpi_compiler) (impl (path compiler/elpi_compiler.ml-gen))))
    (name Elpi_compiler)
    (modules
     (module
      (obj_name elpi_compiler__Compiler)
      (visibility public)
      (source
       (path Compiler)
       (intf (path compiler/compiler.mli))
       (impl (path compiler/compiler.ml))))
     (module
      (obj_name elpi_compiler__Compiler_data)
      (visibility public)
      (source (path Compiler_data) (impl (path compiler/compiler_data.ml))))
     (module
      (obj_name elpi_compiler__Determinacy_checker)
      (visibility public)
      (source
       (path Determinacy_checker)
       (intf (path compiler/determinacy_checker.mli))
       (impl (path compiler/determinacy_checker.ml))))
     (module
      (obj_name elpi_compiler__Type_checker)
      (visibility public)
      (source
       (path Type_checker)
       (intf (path compiler/type_checker.mli))
       (impl (path compiler/type_checker.ml))))))
   (wrapped true))))
(library
 (name elpi.lexer_config)
 (kind normal)
 (archives
  (byte lexer_config/elpi_lexer_config.cma)
  (native lexer_config/elpi_lexer_config.cmxa))
 (plugins
  (byte lexer_config/elpi_lexer_config.cma)
  (native lexer_config/elpi_lexer_config.cmxs))
 (native_archives lexer_config/elpi_lexer_config.a)
 (requires elpi.util)
 (main_module_name Elpi_lexer_config)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_lexer_config)
     (visibility public)
     (kind alias)
     (source
      (path Elpi_lexer_config)
      (impl (path lexer_config/elpi_lexer_config.ml-gen))))
    (name Elpi_lexer_config)
    (modules
     (module
      (obj_name elpi_lexer_config__Lexer_config)
      (visibility public)
      (source (path Lexer_config) (impl (path lexer_config/lexer_config.ml))))
     (module
      (obj_name elpi_lexer_config__Tokens)
      (visibility public)
      (source
       (path Tokens)
       (intf (path lexer_config/tokens.mli))
       (impl (path lexer_config/tokens.ml))))))
   (wrapped true))))
(library
 (name elpi.parser)
 (kind normal)
 (archives (byte parser/elpi_parser.cma) (native parser/elpi_parser.cmxa))
 (plugins (byte parser/elpi_parser.cma) (native parser/elpi_parser.cmxs))
 (native_archives parser/elpi_parser.a)
 (requires
  unix
  menhirLib
  elpi.lexer_config
  elpi.util
  stdlib-shims
  ppx_deriving.runtime)
 (main_module_name Elpi_parser)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_parser)
     (visibility public)
     (kind alias)
     (source (path Elpi_parser) (impl (path parser/elpi_parser.ml-gen))))
    (name Elpi_parser)
    (modules
     (module
      (obj_name elpi_parser__Ast)
      (visibility public)
      (source
       (path Ast)
       (intf (path parser/ast.mli))
       (impl (path parser/ast.ml))))
     (module
      (obj_name elpi_parser__Error_messages)
      (visibility public)
      (source (path Error_messages) (impl (path parser/error_messages.ml))))
     (module
      (obj_name elpi_parser__Grammar)
      (visibility public)
      (source
       (path Grammar)
       (intf (path parser/grammar.mli))
       (impl (path parser/grammar.ml))))
     (module
      (obj_name elpi_parser__Lexer)
      (visibility public)
      (source (path Lexer) (impl (path parser/lexer.ml))))
     (module
      (obj_name elpi_parser__Parse)
      (visibility public)
      (source
       (path Parse)
       (intf (path parser/parse.mli))
       (impl (path parser/parse.ml))))
     (module
      (obj_name elpi_parser__Parser_config)
      (visibility public)
      (source (path Parser_config) (impl (path parser/parser_config.ml))))))
   (wrapped true))))
(library
 (name elpi.runtime)
 (kind normal)
 (archives (byte runtime/elpi_runtime.cma) (native runtime/elpi_runtime.cmxa))
 (plugins (byte runtime/elpi_runtime.cma) (native runtime/elpi_runtime.cmxs))
 (native_archives runtime/elpi_runtime.a)
 (requires
  re.str
  unix
  stdlib-shims
  elpi.parser
  elpi.util
  ppx_deriving.runtime
  elpi.trace.runtime)
 (main_module_name Elpi_runtime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_runtime)
     (visibility public)
     (kind alias)
     (source (path Elpi_runtime) (impl (path runtime/elpi_runtime.ml-gen))))
    (name Elpi_runtime)
    (modules
     (module
      (obj_name elpi_runtime__Bl)
      (visibility public)
      (source
       (path Bl)
       (intf (path runtime/bl.mli))
       (impl (path runtime/bl.ml))))
     (module
      (obj_name elpi_runtime__Data)
      (visibility public)
      (source (path Data) (impl (path runtime/data.ml))))
     (module
      (obj_name elpi_runtime__Discrimination_tree)
      (visibility public)
      (source
       (path Discrimination_tree)
       (intf (path runtime/discrimination_tree.mli))
       (impl (path runtime/discrimination_tree.ml))))
     (module
      (obj_name elpi_runtime__Ptmap)
      (visibility public)
      (source
       (path Ptmap)
       (intf (path runtime/ptmap.mli))
       (impl (path runtime/ptmap.ml))))
     (module
      (obj_name elpi_runtime__Runtime)
      (visibility public)
      (source
       (path Runtime)
       (intf (path runtime/runtime.mli))
       (impl (path runtime/runtime.ml))))
     (module
      (obj_name elpi_runtime__Runtime_trace_off)
      (visibility public)
      (source
       (path Runtime_trace_off)
       (intf (path runtime/runtime_trace_off.mli))
       (impl (path runtime/runtime_trace_off.ml))))))
   (wrapped true))))
(library
 (name elpi.trace.ppx)
 (kind ppx_rewriter)
 (archives (byte trace/ppx/trace_ppx.cma) (native trace/ppx/trace_ppx.cmxa))
 (plugins (byte trace/ppx/trace_ppx.cma) (native trace/ppx/trace_ppx.cmxs))
 (native_archives trace/ppx/trace_ppx.a)
 (requires ppxlib.ast ppxlib)
 (ppx_runtime_deps elpi.trace.runtime)
 (main_module_name Trace_ppx)
 (modes byte native)
 (modules
  (singleton
   (obj_name trace_ppx)
   (visibility public)
   (source (path Trace_ppx) (impl (path trace/ppx/trace_ppx.ml))))))
(library
 (name elpi.trace.runtime)
 (kind normal)
 (archives
  (byte trace/runtime/trace_ppx_runtime.cma)
  (native trace/runtime/trace_ppx_runtime.cmxa))
 (plugins
  (byte trace/runtime/trace_ppx_runtime.cma)
  (native trace/runtime/trace_ppx_runtime.cmxs))
 (native_archives trace/runtime/trace_ppx_runtime.a)
 (requires re)
 (main_module_name Trace_ppx_runtime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name trace_ppx_runtime)
     (visibility public)
     (kind alias)
     (source
      (path Trace_ppx_runtime)
      (impl (path trace/runtime/trace_ppx_runtime.ml-gen))))
    (name Trace_ppx_runtime)
    (modules
     (module
      (obj_name trace_ppx_runtime__Runtime)
      (visibility public)
      (source
       (path Runtime)
       (intf (path trace/runtime/runtime.mli))
       (impl (path trace/runtime/runtime.ml))))))
   (wrapped true))))
(library
 (name elpi.util)
 (kind normal)
 (archives (byte util/elpi_util.cma) (native util/elpi_util.cmxa))
 (plugins (byte util/elpi_util.cma) (native util/elpi_util.cmxs))
 (native_archives util/elpi_util.a)
 (requires unix re.str ppx_deriving.runtime)
 (main_module_name Elpi_util)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name elpi_util)
     (visibility public)
     (kind alias)
     (source (path Elpi_util) (impl (path util/elpi_util.ml-gen))))
    (name Elpi_util)
    (modules
     (module
      (obj_name elpi_util__Util)
      (visibility public)
      (source
       (path Util)
       (intf (path util/util.mli))
       (impl (path util/util.ml))))))
   (wrapped true))))
