(lang dune 3.20)
(name libsail)
(version 0.19.1)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/libsail)
 (libexec /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/libsail)
 (doc /usr/doc/libsail))
(sites (plugins lib))
(files
 (lib
  (Libsail_sites.ml
   META
   anf.ml
   anf.mli
   ast.ml
   ast_defs.ml
   ast_defs.mli
   ast_util.ml
   ast_util.mli
   bitfield.ml
   bitfield.mli
   callgraph.ml
   callgraph.mli
   chunk_ast.ml
   chunk_ast.mli
   config.ml
   config.mli
   constant_fold.ml
   constant_propagation.ml
   constant_propagation.mli
   constant_propagation_mutrec.ml
   constraint.ml
   constraint.mli
   dune-package
   effects.ml
   effects.mli
   elf_loader.ml
   error_format.ml
   flag.ml
   flag.mli
   format_sail.ml
   format_sail.mli
   frontend.ml
   frontend.mli
   graph.ml
   graph.mli
   infix_parser.ml
   infix_parser.mli
   initial_check.ml
   initial_check.mli
   interactive.ml
   interactive.mli
   interpreter.ml
   interpreter.mli
   jib.ml
   jib_compile.ml
   jib_compile.mli
   jib_optimize.ml
   jib_optimize.mli
   jib_ssa.ml
   jib_ssa.mli
   jib_util.ml
   jib_util.mli
   jib_visitor.ml
   jib_visitor.mli
   lexer.ml
   libsail.a
   libsail.cma
   libsail.cmi
   libsail.cmt
   libsail.cmx
   libsail.cmxa
   libsail.ml
   libsail__Anf.cmi
   libsail__Anf.cmt
   libsail__Anf.cmti
   libsail__Anf.cmx
   libsail__Ast.cmi
   libsail__Ast.cmt
   libsail__Ast.cmx
   libsail__Ast_defs.cmi
   libsail__Ast_defs.cmt
   libsail__Ast_defs.cmti
   libsail__Ast_defs.cmx
   libsail__Ast_util.cmi
   libsail__Ast_util.cmt
   libsail__Ast_util.cmti
   libsail__Ast_util.cmx
   libsail__Bitfield.cmi
   libsail__Bitfield.cmt
   libsail__Bitfield.cmti
   libsail__Bitfield.cmx
   libsail__Callgraph.cmi
   libsail__Callgraph.cmt
   libsail__Callgraph.cmti
   libsail__Callgraph.cmx
   libsail__Chunk_ast.cmi
   libsail__Chunk_ast.cmt
   libsail__Chunk_ast.cmti
   libsail__Chunk_ast.cmx
   libsail__Config.cmi
   libsail__Config.cmt
   libsail__Config.cmti
   libsail__Config.cmx
   libsail__Constant_fold.cmi
   libsail__Constant_fold.cmt
   libsail__Constant_fold.cmx
   libsail__Constant_propagation.cmi
   libsail__Constant_propagation.cmt
   libsail__Constant_propagation.cmti
   libsail__Constant_propagation.cmx
   libsail__Constant_propagation_mutrec.cmi
   libsail__Constant_propagation_mutrec.cmt
   libsail__Constant_propagation_mutrec.cmx
   libsail__Constraint.cmi
   libsail__Constraint.cmt
   libsail__Constraint.cmti
   libsail__Constraint.cmx
   libsail__Effects.cmi
   libsail__Effects.cmt
   libsail__Effects.cmti
   libsail__Effects.cmx
   libsail__Elf_loader.cmi
   libsail__Elf_loader.cmt
   libsail__Elf_loader.cmx
   libsail__Error_format.cmi
   libsail__Error_format.cmt
   libsail__Error_format.cmx
   libsail__Flag.cmi
   libsail__Flag.cmt
   libsail__Flag.cmti
   libsail__Flag.cmx
   libsail__Format_sail.cmi
   libsail__Format_sail.cmt
   libsail__Format_sail.cmti
   libsail__Format_sail.cmx
   libsail__Frontend.cmi
   libsail__Frontend.cmt
   libsail__Frontend.cmti
   libsail__Frontend.cmx
   libsail__Graph.cmi
   libsail__Graph.cmt
   libsail__Graph.cmti
   libsail__Graph.cmx
   libsail__Infix_parser.cmi
   libsail__Infix_parser.cmt
   libsail__Infix_parser.cmti
   libsail__Infix_parser.cmx
   libsail__Initial_check.cmi
   libsail__Initial_check.cmt
   libsail__Initial_check.cmti
   libsail__Initial_check.cmx
   libsail__Interactive.cmi
   libsail__Interactive.cmt
   libsail__Interactive.cmti
   libsail__Interactive.cmx
   libsail__Interpreter.cmi
   libsail__Interpreter.cmt
   libsail__Interpreter.cmti
   libsail__Interpreter.cmx
   libsail__Jib.cmi
   libsail__Jib.cmt
   libsail__Jib.cmx
   libsail__Jib_compile.cmi
   libsail__Jib_compile.cmt
   libsail__Jib_compile.cmti
   libsail__Jib_compile.cmx
   libsail__Jib_optimize.cmi
   libsail__Jib_optimize.cmt
   libsail__Jib_optimize.cmti
   libsail__Jib_optimize.cmx
   libsail__Jib_ssa.cmi
   libsail__Jib_ssa.cmt
   libsail__Jib_ssa.cmti
   libsail__Jib_ssa.cmx
   libsail__Jib_util.cmi
   libsail__Jib_util.cmt
   libsail__Jib_util.cmti
   libsail__Jib_util.cmx
   libsail__Jib_visitor.cmi
   libsail__Jib_visitor.cmt
   libsail__Jib_visitor.cmti
   libsail__Jib_visitor.cmx
   libsail__Lexer.cmi
   libsail__Lexer.cmt
   libsail__Lexer.cmx
   libsail__Libsail_sites.cmi
   libsail__Libsail_sites.cmt
   libsail__Libsail_sites.cmx
   libsail__Lint.cmi
   libsail__Lint.cmt
   libsail__Lint.cmti
   libsail__Lint.cmx
   libsail__Mappings.cmi
   libsail__Mappings.cmt
   libsail__Mappings.cmti
   libsail__Mappings.cmx
   libsail__Monad_params.cmi
   libsail__Monad_params.cmt
   libsail__Monad_params.cmx
   libsail__Monomorphise.cmi
   libsail__Monomorphise.cmt
   libsail__Monomorphise.cmti
   libsail__Monomorphise.cmx
   libsail__Name_generator.cmi
   libsail__Name_generator.cmt
   libsail__Name_generator.cmti
   libsail__Name_generator.cmx
   libsail__Nl_flow.cmi
   libsail__Nl_flow.cmt
   libsail__Nl_flow.cmti
   libsail__Nl_flow.cmx
   libsail__Outcome_rewrites.cmi
   libsail__Outcome_rewrites.cmt
   libsail__Outcome_rewrites.cmx
   libsail__Parse_ast.cmi
   libsail__Parse_ast.cmt
   libsail__Parse_ast.cmx
   libsail__Parser.cmi
   libsail__Parser.cmt
   libsail__Parser.cmti
   libsail__Parser.cmx
   libsail__Parser_combinators.cmi
   libsail__Parser_combinators.cmt
   libsail__Parser_combinators.cmx
   libsail__Pattern_completeness.cmi
   libsail__Pattern_completeness.cmt
   libsail__Pattern_completeness.cmti
   libsail__Pattern_completeness.cmx
   libsail__Pragma.cmi
   libsail__Pragma.cmt
   libsail__Pragma.cmti
   libsail__Pragma.cmx
   libsail__Preprocess.cmi
   libsail__Preprocess.cmt
   libsail__Preprocess.cmti
   libsail__Preprocess.cmx
   libsail__Pretty_print_common.cmi
   libsail__Pretty_print_common.cmt
   libsail__Pretty_print_common.cmx
   libsail__Pretty_print_sail.cmi
   libsail__Pretty_print_sail.cmt
   libsail__Pretty_print_sail.cmti
   libsail__Pretty_print_sail.cmx
   libsail__Profile.cmi
   libsail__Profile.cmt
   libsail__Profile.cmx
   libsail__Project.cmi
   libsail__Project.cmt
   libsail__Project.cmti
   libsail__Project.cmx
   libsail__Project_lexer.cmi
   libsail__Project_lexer.cmt
   libsail__Project_lexer.cmx
   libsail__Project_parser.cmi
   libsail__Project_parser.cmt
   libsail__Project_parser.cmti
   libsail__Project_parser.cmx
   libsail__Property.cmi
   libsail__Property.cmt
   libsail__Property.cmti
   libsail__Property.cmx
   libsail__Reporting.cmi
   libsail__Reporting.cmt
   libsail__Reporting.cmti
   libsail__Reporting.cmx
   libsail__Rewriter.cmi
   libsail__Rewriter.cmt
   libsail__Rewriter.cmti
   libsail__Rewriter.cmx
   libsail__Rewrites.cmi
   libsail__Rewrites.cmt
   libsail__Rewrites.cmti
   libsail__Rewrites.cmx
   libsail__Sail2_instr_kinds.cmi
   libsail__Sail2_instr_kinds.cmt
   libsail__Sail2_instr_kinds.cmx
   libsail__Sail2_operators.cmi
   libsail__Sail2_operators.cmt
   libsail__Sail2_operators.cmx
   libsail__Sail2_operators_bitlists.cmi
   libsail__Sail2_operators_bitlists.cmt
   libsail__Sail2_operators_bitlists.cmx
   libsail__Sail2_prompt.cmi
   libsail__Sail2_prompt.cmt
   libsail__Sail2_prompt.cmx
   libsail__Sail2_prompt_monad.cmi
   libsail__Sail2_prompt_monad.cmt
   libsail__Sail2_prompt_monad.cmx
   libsail__Sail2_values.cmi
   libsail__Sail2_values.cmt
   libsail__Sail2_values.cmx
   libsail__Sail_file.cmi
   libsail__Sail_file.cmt
   libsail__Sail_file.cmti
   libsail__Sail_file.cmx
   libsail__Sail_lib.cmi
   libsail__Sail_lib.cmt
   libsail__Sail_lib.cmx
   libsail__Scattered.cmi
   libsail__Scattered.cmt
   libsail__Scattered.cmx
   libsail__Smt_exp.cmi
   libsail__Smt_exp.cmt
   libsail__Smt_exp.cmx
   libsail__Smt_gen.cmi
   libsail__Smt_gen.cmt
   libsail__Smt_gen.cmti
   libsail__Smt_gen.cmx
   libsail__Spec_analysis.cmi
   libsail__Spec_analysis.cmt
   libsail__Spec_analysis.cmti
   libsail__Spec_analysis.cmx
   libsail__Specialize.cmi
   libsail__Specialize.cmt
   libsail__Specialize.cmti
   libsail__Specialize.cmx
   libsail__Splice.cmi
   libsail__Splice.cmt
   libsail__Splice.cmx
   libsail__State.cmi
   libsail__State.cmt
   libsail__State.cmx
   libsail__Target.cmi
   libsail__Target.cmt
   libsail__Target.cmti
   libsail__Target.cmx
   libsail__Type_check.cmi
   libsail__Type_check.cmt
   libsail__Type_check.cmti
   libsail__Type_check.cmx
   libsail__Type_env.cmi
   libsail__Type_env.cmt
   libsail__Type_env.cmti
   libsail__Type_env.cmx
   libsail__Type_error.cmi
   libsail__Type_error.cmt
   libsail__Type_error.cmti
   libsail__Type_error.cmx
   libsail__Type_internal.cmi
   libsail__Type_internal.cmt
   libsail__Type_internal.cmx
   libsail__Util.cmi
   libsail__Util.cmt
   libsail__Util.cmti
   libsail__Util.cmx
   libsail__Value.cmi
   libsail__Value.cmt
   libsail__Value.cmx
   libsail__Value2.cmi
   libsail__Value2.cmt
   libsail__Value2.cmx
   libsail__Visitor.cmi
   libsail__Visitor.cmt
   libsail__Visitor.cmx
   lint.ml
   lint.mli
   mappings.ml
   mappings.mli
   monad_params.ml
   monomorphise.ml
   monomorphise.mli
   name_generator.ml
   name_generator.mli
   nl_flow.ml
   nl_flow.mli
   opam
   outcome_rewrites.ml
   parse_ast.ml
   parser.ml
   parser.mli
   parser_combinators.ml
   pattern_completeness.ml
   pattern_completeness.mli
   pragma.ml
   pragma.mli
   preprocess.ml
   preprocess.mli
   pretty_print_common.ml
   pretty_print_sail.ml
   pretty_print_sail.mli
   profile.ml
   project.ml
   project.mli
   project_lexer.ml
   project_parser.ml
   project_parser.mli
   property.ml
   property.mli
   reporting.ml
   reporting.mli
   rewriter.ml
   rewriter.mli
   rewrites.ml
   rewrites.mli
   sail2_instr_kinds.ml
   sail2_operators.ml
   sail2_operators_bitlists.ml
   sail2_prompt.ml
   sail2_prompt_monad.ml
   sail2_values.ml
   sail_file.ml
   sail_file.mli
   sail_lib.ml
   scattered.ml
   smt_exp.ml
   smt_gen.ml
   smt_gen.mli
   spec_analysis.ml
   spec_analysis.mli
   specialize.ml
   specialize.mli
   splice.ml
   state.ml
   target.ml
   target.mli
   type_check.ml
   type_check.mli
   type_env.ml
   type_env.mli
   type_error.ml
   type_error.mli
   type_internal.ml
   util.ml
   util.mli
   value.ml
   value2.ml
   visitor.ml))
 (libexec (libsail.cmxs))
 (doc (CHANGELOG.md LICENSE README.md)))
(library
 (name libsail)
 (kind normal)
 (archives (byte libsail.cma) (native libsail.cmxa))
 (plugins (byte libsail.cma) (native libsail.cmxs))
 (native_archives libsail.a)
 (requires
  lem
  linksem
  pprint
  dune-private-libs.dune-section
  dune-site
  yojson
  menhirLib)
 (main_module_name Libsail)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name libsail)
     (visibility public)
     (kind alias)
     (source (path Libsail) (impl (path libsail.ml-gen))))
    (name Libsail)
    (modules
     (module
      (obj_name libsail__Anf)
      (visibility public)
      (source (path Anf) (intf (path anf.mli)) (impl (path anf.ml))))
     (module
      (obj_name libsail__Ast)
      (visibility public)
      (source (path Ast) (impl (path ast.ml))))
     (module
      (obj_name libsail__Ast_defs)
      (visibility public)
      (source
       (path Ast_defs)
       (intf (path ast_defs.mli))
       (impl (path ast_defs.ml))))
     (module
      (obj_name libsail__Ast_util)
      (visibility public)
      (source
       (path Ast_util)
       (intf (path ast_util.mli))
       (impl (path ast_util.ml))))
     (module
      (obj_name libsail__Bitfield)
      (visibility public)
      (source
       (path Bitfield)
       (intf (path bitfield.mli))
       (impl (path bitfield.ml))))
     (module
      (obj_name libsail__Callgraph)
      (visibility public)
      (source
       (path Callgraph)
       (intf (path callgraph.mli))
       (impl (path callgraph.ml))))
     (module
      (obj_name libsail__Chunk_ast)
      (visibility public)
      (source
       (path Chunk_ast)
       (intf (path chunk_ast.mli))
       (impl (path chunk_ast.ml))))
     (module
      (obj_name libsail__Config)
      (visibility public)
      (source (path Config) (intf (path config.mli)) (impl (path config.ml))))
     (module
      (obj_name libsail__Constant_fold)
      (visibility public)
      (source (path Constant_fold) (impl (path constant_fold.ml))))
     (module
      (obj_name libsail__Constant_propagation)
      (visibility public)
      (source
       (path Constant_propagation)
       (intf (path constant_propagation.mli))
       (impl (path constant_propagation.ml))))
     (module
      (obj_name libsail__Constant_propagation_mutrec)
      (visibility public)
      (source
       (path Constant_propagation_mutrec)
       (impl (path constant_propagation_mutrec.ml))))
     (module
      (obj_name libsail__Constraint)
      (visibility public)
      (source
       (path Constraint)
       (intf (path constraint.mli))
       (impl (path constraint.ml))))
     (module
      (obj_name libsail__Effects)
      (visibility public)
      (source
       (path Effects)
       (intf (path effects.mli))
       (impl (path effects.ml))))
     (module
      (obj_name libsail__Elf_loader)
      (visibility public)
      (source (path Elf_loader) (impl (path elf_loader.ml))))
     (module
      (obj_name libsail__Error_format)
      (visibility public)
      (source (path Error_format) (impl (path error_format.ml))))
     (module
      (obj_name libsail__Flag)
      (visibility public)
      (source (path Flag) (intf (path flag.mli)) (impl (path flag.ml))))
     (module
      (obj_name libsail__Format_sail)
      (visibility public)
      (source
       (path Format_sail)
       (intf (path format_sail.mli))
       (impl (path format_sail.ml))))
     (module
      (obj_name libsail__Frontend)
      (visibility public)
      (source
       (path Frontend)
       (intf (path frontend.mli))
       (impl (path frontend.ml))))
     (module
      (obj_name libsail__Graph)
      (visibility public)
      (source (path Graph) (intf (path graph.mli)) (impl (path graph.ml))))
     (module
      (obj_name libsail__Infix_parser)
      (visibility public)
      (source
       (path Infix_parser)
       (intf (path infix_parser.mli))
       (impl (path infix_parser.ml))))
     (module
      (obj_name libsail__Initial_check)
      (visibility public)
      (source
       (path Initial_check)
       (intf (path initial_check.mli))
       (impl (path initial_check.ml))))
     (module
      (obj_name libsail__Interactive)
      (visibility public)
      (source
       (path Interactive)
       (intf (path interactive.mli))
       (impl (path interactive.ml))))
     (module
      (obj_name libsail__Interpreter)
      (visibility public)
      (source
       (path Interpreter)
       (intf (path interpreter.mli))
       (impl (path interpreter.ml))))
     (module
      (obj_name libsail__Jib)
      (visibility public)
      (source (path Jib) (impl (path jib.ml))))
     (module
      (obj_name libsail__Jib_compile)
      (visibility public)
      (source
       (path Jib_compile)
       (intf (path jib_compile.mli))
       (impl (path jib_compile.ml))))
     (module
      (obj_name libsail__Jib_optimize)
      (visibility public)
      (source
       (path Jib_optimize)
       (intf (path jib_optimize.mli))
       (impl (path jib_optimize.ml))))
     (module
      (obj_name libsail__Jib_ssa)
      (visibility public)
      (source
       (path Jib_ssa)
       (intf (path jib_ssa.mli))
       (impl (path jib_ssa.ml))))
     (module
      (obj_name libsail__Jib_util)
      (visibility public)
      (source
       (path Jib_util)
       (intf (path jib_util.mli))
       (impl (path jib_util.ml))))
     (module
      (obj_name libsail__Jib_visitor)
      (visibility public)
      (source
       (path Jib_visitor)
       (intf (path jib_visitor.mli))
       (impl (path jib_visitor.ml))))
     (module
      (obj_name libsail__Lexer)
      (visibility public)
      (source (path Lexer) (impl (path lexer.ml))))
     (module
      (obj_name libsail__Libsail_sites)
      (visibility public)
      (source (path Libsail_sites) (impl (path Libsail_sites.ml))))
     (module
      (obj_name libsail__Lint)
      (visibility public)
      (source (path Lint) (intf (path lint.mli)) (impl (path lint.ml))))
     (module
      (obj_name libsail__Mappings)
      (visibility public)
      (source
       (path Mappings)
       (intf (path mappings.mli))
       (impl (path mappings.ml))))
     (module
      (obj_name libsail__Monad_params)
      (visibility public)
      (source (path Monad_params) (impl (path monad_params.ml))))
     (module
      (obj_name libsail__Monomorphise)
      (visibility public)
      (source
       (path Monomorphise)
       (intf (path monomorphise.mli))
       (impl (path monomorphise.ml))))
     (module
      (obj_name libsail__Name_generator)
      (visibility public)
      (source
       (path Name_generator)
       (intf (path name_generator.mli))
       (impl (path name_generator.ml))))
     (module
      (obj_name libsail__Nl_flow)
      (visibility public)
      (source
       (path Nl_flow)
       (intf (path nl_flow.mli))
       (impl (path nl_flow.ml))))
     (module
      (obj_name libsail__Outcome_rewrites)
      (visibility public)
      (source (path Outcome_rewrites) (impl (path outcome_rewrites.ml))))
     (module
      (obj_name libsail__Parse_ast)
      (visibility public)
      (source (path Parse_ast) (impl (path parse_ast.ml))))
     (module
      (obj_name libsail__Parser)
      (visibility public)
      (source (path Parser) (intf (path parser.mli)) (impl (path parser.ml))))
     (module
      (obj_name libsail__Parser_combinators)
      (visibility public)
      (source (path Parser_combinators) (impl (path parser_combinators.ml))))
     (module
      (obj_name libsail__Pattern_completeness)
      (visibility public)
      (source
       (path Pattern_completeness)
       (intf (path pattern_completeness.mli))
       (impl (path pattern_completeness.ml))))
     (module
      (obj_name libsail__Pragma)
      (visibility public)
      (source (path Pragma) (intf (path pragma.mli)) (impl (path pragma.ml))))
     (module
      (obj_name libsail__Preprocess)
      (visibility public)
      (source
       (path Preprocess)
       (intf (path preprocess.mli))
       (impl (path preprocess.ml))))
     (module
      (obj_name libsail__Pretty_print_common)
      (visibility public)
      (source (path Pretty_print_common) (impl (path pretty_print_common.ml))))
     (module
      (obj_name libsail__Pretty_print_sail)
      (visibility public)
      (source
       (path Pretty_print_sail)
       (intf (path pretty_print_sail.mli))
       (impl (path pretty_print_sail.ml))))
     (module
      (obj_name libsail__Profile)
      (visibility public)
      (source (path Profile) (impl (path profile.ml))))
     (module
      (obj_name libsail__Project)
      (visibility public)
      (source
       (path Project)
       (intf (path project.mli))
       (impl (path project.ml))))
     (module
      (obj_name libsail__Project_lexer)
      (visibility public)
      (source (path Project_lexer) (impl (path project_lexer.ml))))
     (module
      (obj_name libsail__Project_parser)
      (visibility public)
      (source
       (path Project_parser)
       (intf (path project_parser.mli))
       (impl (path project_parser.ml))))
     (module
      (obj_name libsail__Property)
      (visibility public)
      (source
       (path Property)
       (intf (path property.mli))
       (impl (path property.ml))))
     (module
      (obj_name libsail__Reporting)
      (visibility public)
      (source
       (path Reporting)
       (intf (path reporting.mli))
       (impl (path reporting.ml))))
     (module
      (obj_name libsail__Rewriter)
      (visibility public)
      (source
       (path Rewriter)
       (intf (path rewriter.mli))
       (impl (path rewriter.ml))))
     (module
      (obj_name libsail__Rewrites)
      (visibility public)
      (source
       (path Rewrites)
       (intf (path rewrites.mli))
       (impl (path rewrites.ml))))
     (module
      (obj_name libsail__Sail2_instr_kinds)
      (visibility public)
      (source (path Sail2_instr_kinds) (impl (path sail2_instr_kinds.ml))))
     (module
      (obj_name libsail__Sail2_operators)
      (visibility public)
      (source (path Sail2_operators) (impl (path sail2_operators.ml))))
     (module
      (obj_name libsail__Sail2_operators_bitlists)
      (visibility public)
      (source
       (path Sail2_operators_bitlists)
       (impl (path sail2_operators_bitlists.ml))))
     (module
      (obj_name libsail__Sail2_prompt)
      (visibility public)
      (source (path Sail2_prompt) (impl (path sail2_prompt.ml))))
     (module
      (obj_name libsail__Sail2_prompt_monad)
      (visibility public)
      (source (path Sail2_prompt_monad) (impl (path sail2_prompt_monad.ml))))
     (module
      (obj_name libsail__Sail2_values)
      (visibility public)
      (source (path Sail2_values) (impl (path sail2_values.ml))))
     (module
      (obj_name libsail__Sail_file)
      (visibility public)
      (source
       (path Sail_file)
       (intf (path sail_file.mli))
       (impl (path sail_file.ml))))
     (module
      (obj_name libsail__Sail_lib)
      (visibility public)
      (source (path Sail_lib) (impl (path sail_lib.ml))))
     (module
      (obj_name libsail__Scattered)
      (visibility public)
      (source (path Scattered) (impl (path scattered.ml))))
     (module
      (obj_name libsail__Smt_exp)
      (visibility public)
      (source (path Smt_exp) (impl (path smt_exp.ml))))
     (module
      (obj_name libsail__Smt_gen)
      (visibility public)
      (source
       (path Smt_gen)
       (intf (path smt_gen.mli))
       (impl (path smt_gen.ml))))
     (module
      (obj_name libsail__Spec_analysis)
      (visibility public)
      (source
       (path Spec_analysis)
       (intf (path spec_analysis.mli))
       (impl (path spec_analysis.ml))))
     (module
      (obj_name libsail__Specialize)
      (visibility public)
      (source
       (path Specialize)
       (intf (path specialize.mli))
       (impl (path specialize.ml))))
     (module
      (obj_name libsail__Splice)
      (visibility public)
      (source (path Splice) (impl (path splice.ml))))
     (module
      (obj_name libsail__State)
      (visibility public)
      (source (path State) (impl (path state.ml))))
     (module
      (obj_name libsail__Target)
      (visibility public)
      (source (path Target) (intf (path target.mli)) (impl (path target.ml))))
     (module
      (obj_name libsail__Type_check)
      (visibility public)
      (source
       (path Type_check)
       (intf (path type_check.mli))
       (impl (path type_check.ml))))
     (module
      (obj_name libsail__Type_env)
      (visibility public)
      (source
       (path Type_env)
       (intf (path type_env.mli))
       (impl (path type_env.ml))))
     (module
      (obj_name libsail__Type_error)
      (visibility public)
      (source
       (path Type_error)
       (intf (path type_error.mli))
       (impl (path type_error.ml))))
     (module
      (obj_name libsail__Type_internal)
      (visibility public)
      (source (path Type_internal) (impl (path type_internal.ml))))
     (module
      (obj_name libsail__Util)
      (visibility public)
      (source (path Util) (intf (path util.mli)) (impl (path util.ml))))
     (module
      (obj_name libsail__Value)
      (visibility public)
      (source (path Value) (impl (path value.ml))))
     (module
      (obj_name libsail__Value2)
      (visibility public)
      (source (path Value2) (impl (path value2.ml))))
     (module
      (obj_name libsail__Visitor)
      (visibility public)
      (source (path Visitor) (impl (path visitor.ml))))))
   (wrapped true))))
