(lang dune 3.17)
(name alt-ergo-lib)
(version 2.3.3)
(sections
 (lib /usr/lib64/ocaml/alt-ergo-lib)
 (libexec /usr/lib64/ocaml/alt-ergo-lib)
 (doc /usr/doc/alt-ergo-lib))
(files
 (lib
  (AltErgoLib.a
   AltErgoLib.cma
   AltErgoLib.cmxa
   META
   altErgoLib.cmi
   altErgoLib.cmt
   altErgoLib.cmx
   altErgoLib.ml
   altErgoLib__Ac.cmi
   altErgoLib__Ac.cmt
   altErgoLib__Ac.cmti
   altErgoLib__Ac.cmx
   altErgoLib__Adt.cmi
   altErgoLib__Adt.cmt
   altErgoLib__Adt.cmti
   altErgoLib__Adt.cmx
   altErgoLib__Adt_rel.cmi
   altErgoLib__Adt_rel.cmt
   altErgoLib__Adt_rel.cmti
   altErgoLib__Adt_rel.cmx
   altErgoLib__Arith.cmi
   altErgoLib__Arith.cmt
   altErgoLib__Arith.cmti
   altErgoLib__Arith.cmx
   altErgoLib__Arrays.cmi
   altErgoLib__Arrays.cmt
   altErgoLib__Arrays.cmti
   altErgoLib__Arrays.cmx
   altErgoLib__Arrays_rel.cmi
   altErgoLib__Arrays_rel.cmt
   altErgoLib__Arrays_rel.cmti
   altErgoLib__Arrays_rel.cmx
   altErgoLib__Bitv.cmi
   altErgoLib__Bitv.cmt
   altErgoLib__Bitv.cmti
   altErgoLib__Bitv.cmx
   altErgoLib__Bitv_rel.cmi
   altErgoLib__Bitv_rel.cmt
   altErgoLib__Bitv_rel.cmti
   altErgoLib__Bitv_rel.cmx
   altErgoLib__Ccx.cmi
   altErgoLib__Ccx.cmt
   altErgoLib__Ccx.cmti
   altErgoLib__Ccx.cmx
   altErgoLib__Cnf.cmi
   altErgoLib__Cnf.cmt
   altErgoLib__Cnf.cmti
   altErgoLib__Cnf.cmx
   altErgoLib__Commands.cmi
   altErgoLib__Commands.cmt
   altErgoLib__Commands.cmti
   altErgoLib__Commands.cmx
   altErgoLib__Config.cmi
   altErgoLib__Config.cmt
   altErgoLib__Config.cmx
   altErgoLib__Emap.cmi
   altErgoLib__Emap.cmt
   altErgoLib__Emap.cmti
   altErgoLib__Emap.cmx
   altErgoLib__Enum.cmi
   altErgoLib__Enum.cmt
   altErgoLib__Enum.cmti
   altErgoLib__Enum.cmx
   altErgoLib__Enum_rel.cmi
   altErgoLib__Enum_rel.cmt
   altErgoLib__Enum_rel.cmti
   altErgoLib__Enum_rel.cmx
   altErgoLib__Errors.cmi
   altErgoLib__Errors.cmt
   altErgoLib__Errors.cmti
   altErgoLib__Errors.cmx
   altErgoLib__Explanation.cmi
   altErgoLib__Explanation.cmt
   altErgoLib__Explanation.cmti
   altErgoLib__Explanation.cmx
   altErgoLib__Expr.cmi
   altErgoLib__Expr.cmt
   altErgoLib__Expr.cmti
   altErgoLib__Expr.cmx
   altErgoLib__Fpa_rounding.cmi
   altErgoLib__Fpa_rounding.cmt
   altErgoLib__Fpa_rounding.cmti
   altErgoLib__Fpa_rounding.cmx
   altErgoLib__Frontend.cmi
   altErgoLib__Frontend.cmt
   altErgoLib__Frontend.cmti
   altErgoLib__Frontend.cmx
   altErgoLib__Fun_sat.cmi
   altErgoLib__Fun_sat.cmt
   altErgoLib__Fun_sat.cmti
   altErgoLib__Fun_sat.cmx
   altErgoLib__Gc_debug.cmi
   altErgoLib__Gc_debug.cmt
   altErgoLib__Gc_debug.cmti
   altErgoLib__Gc_debug.cmx
   altErgoLib__Hconsing.cmi
   altErgoLib__Hconsing.cmt
   altErgoLib__Hconsing.cmti
   altErgoLib__Hconsing.cmx
   altErgoLib__Hstring.cmi
   altErgoLib__Hstring.cmt
   altErgoLib__Hstring.cmti
   altErgoLib__Hstring.cmx
   altErgoLib__Iheap.cmi
   altErgoLib__Iheap.cmt
   altErgoLib__Iheap.cmti
   altErgoLib__Iheap.cmx
   altErgoLib__Inequalities.cmi
   altErgoLib__Inequalities.cmt
   altErgoLib__Inequalities.cmti
   altErgoLib__Inequalities.cmx
   altErgoLib__Input.cmi
   altErgoLib__Input.cmt
   altErgoLib__Input.cmti
   altErgoLib__Input.cmx
   altErgoLib__Instances.cmi
   altErgoLib__Instances.cmt
   altErgoLib__Instances.cmti
   altErgoLib__Instances.cmx
   altErgoLib__IntervalCalculus.cmi
   altErgoLib__IntervalCalculus.cmt
   altErgoLib__IntervalCalculus.cmti
   altErgoLib__IntervalCalculus.cmx
   altErgoLib__Intervals.cmi
   altErgoLib__Intervals.cmt
   altErgoLib__Intervals.cmti
   altErgoLib__Intervals.cmx
   altErgoLib__Ite.cmi
   altErgoLib__Ite.cmt
   altErgoLib__Ite.cmti
   altErgoLib__Ite.cmx
   altErgoLib__Ite_rel.cmi
   altErgoLib__Ite_rel.cmt
   altErgoLib__Ite_rel.cmti
   altErgoLib__Ite_rel.cmx
   altErgoLib__Lists.cmi
   altErgoLib__Lists.cmt
   altErgoLib__Lists.cmti
   altErgoLib__Lists.cmx
   altErgoLib__Loc.cmi
   altErgoLib__Loc.cmt
   altErgoLib__Loc.cmti
   altErgoLib__Loc.cmx
   altErgoLib__Matching.cmi
   altErgoLib__Matching.cmt
   altErgoLib__Matching.cmti
   altErgoLib__Matching.cmx
   altErgoLib__Matching_types.cmi
   altErgoLib__Matching_types.cmti
   altErgoLib__MyDynlink.cmi
   altErgoLib__MyDynlink.cmt
   altErgoLib__MyDynlink.cmti
   altErgoLib__MyDynlink.cmx
   altErgoLib__MyUnix.cmi
   altErgoLib__MyUnix.cmt
   altErgoLib__MyUnix.cmti
   altErgoLib__MyUnix.cmx
   altErgoLib__Numbers.cmi
   altErgoLib__Numbers.cmt
   altErgoLib__Numbers.cmti
   altErgoLib__Numbers.cmx
   altErgoLib__NumbersInterface.cmi
   altErgoLib__NumbersInterface.cmti
   altErgoLib__NumsNumbers.cmi
   altErgoLib__NumsNumbers.cmt
   altErgoLib__NumsNumbers.cmti
   altErgoLib__NumsNumbers.cmx
   altErgoLib__Options.cmi
   altErgoLib__Options.cmt
   altErgoLib__Options.cmti
   altErgoLib__Options.cmx
   altErgoLib__Parsed.cmi
   altErgoLib__Parsed.cmt
   altErgoLib__Parsed.cmti
   altErgoLib__Parsed.cmx
   altErgoLib__Parsed_interface.cmi
   altErgoLib__Parsed_interface.cmt
   altErgoLib__Parsed_interface.cmti
   altErgoLib__Parsed_interface.cmx
   altErgoLib__Polynome.cmi
   altErgoLib__Polynome.cmt
   altErgoLib__Polynome.cmti
   altErgoLib__Polynome.cmx
   altErgoLib__Profiling.cmi
   altErgoLib__Profiling.cmt
   altErgoLib__Profiling.cmti
   altErgoLib__Profiling.cmx
   altErgoLib__Records.cmi
   altErgoLib__Records.cmt
   altErgoLib__Records.cmti
   altErgoLib__Records.cmx
   altErgoLib__Records_rel.cmi
   altErgoLib__Records_rel.cmt
   altErgoLib__Records_rel.cmti
   altErgoLib__Records_rel.cmx
   altErgoLib__Relation.cmi
   altErgoLib__Relation.cmt
   altErgoLib__Relation.cmti
   altErgoLib__Relation.cmx
   altErgoLib__Sat_solver.cmi
   altErgoLib__Sat_solver.cmt
   altErgoLib__Sat_solver.cmti
   altErgoLib__Sat_solver.cmx
   altErgoLib__Sat_solver_sig.cmi
   altErgoLib__Sat_solver_sig.cmt
   altErgoLib__Sat_solver_sig.cmti
   altErgoLib__Sat_solver_sig.cmx
   altErgoLib__Satml.cmi
   altErgoLib__Satml.cmt
   altErgoLib__Satml.cmti
   altErgoLib__Satml.cmx
   altErgoLib__Satml_frontend.cmi
   altErgoLib__Satml_frontend.cmt
   altErgoLib__Satml_frontend.cmti
   altErgoLib__Satml_frontend.cmx
   altErgoLib__Satml_frontend_hybrid.cmi
   altErgoLib__Satml_frontend_hybrid.cmt
   altErgoLib__Satml_frontend_hybrid.cmti
   altErgoLib__Satml_frontend_hybrid.cmx
   altErgoLib__Satml_types.cmi
   altErgoLib__Satml_types.cmt
   altErgoLib__Satml_types.cmti
   altErgoLib__Satml_types.cmx
   altErgoLib__Shostak.cmi
   altErgoLib__Shostak.cmt
   altErgoLib__Shostak.cmti
   altErgoLib__Shostak.cmx
   altErgoLib__Sig.cmi
   altErgoLib__Sig.cmti
   altErgoLib__Sig_rel.cmi
   altErgoLib__Sig_rel.cmti
   altErgoLib__Symbols.cmi
   altErgoLib__Symbols.cmt
   altErgoLib__Symbols.cmti
   altErgoLib__Symbols.cmx
   altErgoLib__Th_util.cmi
   altErgoLib__Th_util.cmt
   altErgoLib__Th_util.cmti
   altErgoLib__Th_util.cmx
   altErgoLib__Theory.cmi
   altErgoLib__Theory.cmt
   altErgoLib__Theory.cmti
   altErgoLib__Theory.cmx
   altErgoLib__Timers.cmi
   altErgoLib__Timers.cmt
   altErgoLib__Timers.cmti
   altErgoLib__Timers.cmx
   altErgoLib__Ty.cmi
   altErgoLib__Ty.cmt
   altErgoLib__Ty.cmti
   altErgoLib__Ty.cmx
   altErgoLib__Typechecker.cmi
   altErgoLib__Typechecker.cmt
   altErgoLib__Typechecker.cmti
   altErgoLib__Typechecker.cmx
   altErgoLib__Typed.cmi
   altErgoLib__Typed.cmt
   altErgoLib__Typed.cmti
   altErgoLib__Typed.cmx
   altErgoLib__Uf.cmi
   altErgoLib__Uf.cmt
   altErgoLib__Uf.cmti
   altErgoLib__Uf.cmx
   altErgoLib__Use.cmi
   altErgoLib__Use.cmt
   altErgoLib__Use.cmti
   altErgoLib__Use.cmx
   altErgoLib__Util.cmi
   altErgoLib__Util.cmt
   altErgoLib__Util.cmti
   altErgoLib__Util.cmx
   altErgoLib__Var.cmi
   altErgoLib__Var.cmt
   altErgoLib__Var.cmti
   altErgoLib__Var.cmx
   altErgoLib__Vec.cmi
   altErgoLib__Vec.cmt
   altErgoLib__Vec.cmti
   altErgoLib__Vec.cmx
   altErgoLib__Version.cmi
   altErgoLib__Version.cmt
   altErgoLib__Version.cmti
   altErgoLib__Version.cmx
   altErgoLib__Xliteral.cmi
   altErgoLib__Xliteral.cmt
   altErgoLib__Xliteral.cmti
   altErgoLib__Xliteral.cmx
   altErgoLib__ZarithNumbers.cmi
   altErgoLib__ZarithNumbers.cmt
   altErgoLib__ZarithNumbers.cmti
   altErgoLib__ZarithNumbers.cmx
   dune-package
   frontend/cnf.ml
   frontend/cnf.mli
   frontend/frontend.ml
   frontend/frontend.mli
   frontend/input.ml
   frontend/input.mli
   frontend/parsed_interface.ml
   frontend/parsed_interface.mli
   frontend/typechecker.ml
   frontend/typechecker.mli
   opam
   reasoners/ac.ml
   reasoners/ac.mli
   reasoners/adt.ml
   reasoners/adt.mli
   reasoners/adt_rel.ml
   reasoners/adt_rel.mli
   reasoners/arith.ml
   reasoners/arith.mli
   reasoners/arrays.ml
   reasoners/arrays.mli
   reasoners/arrays_rel.ml
   reasoners/arrays_rel.mli
   reasoners/bitv.ml
   reasoners/bitv.mli
   reasoners/bitv_rel.ml
   reasoners/bitv_rel.mli
   reasoners/ccx.ml
   reasoners/ccx.mli
   reasoners/enum.ml
   reasoners/enum.mli
   reasoners/enum_rel.ml
   reasoners/enum_rel.mli
   reasoners/fun_sat.ml
   reasoners/fun_sat.mli
   reasoners/inequalities.ml
   reasoners/inequalities.mli
   reasoners/instances.ml
   reasoners/instances.mli
   reasoners/intervalCalculus.ml
   reasoners/intervalCalculus.mli
   reasoners/intervals.ml
   reasoners/intervals.mli
   reasoners/ite.ml
   reasoners/ite.mli
   reasoners/ite_rel.ml
   reasoners/ite_rel.mli
   reasoners/matching.ml
   reasoners/matching.mli
   reasoners/matching_types.mli
   reasoners/polynome.ml
   reasoners/polynome.mli
   reasoners/records.ml
   reasoners/records.mli
   reasoners/records_rel.ml
   reasoners/records_rel.mli
   reasoners/relation.ml
   reasoners/relation.mli
   reasoners/sat_solver.ml
   reasoners/sat_solver.mli
   reasoners/sat_solver_sig.ml
   reasoners/sat_solver_sig.mli
   reasoners/satml.ml
   reasoners/satml.mli
   reasoners/satml_frontend.ml
   reasoners/satml_frontend.mli
   reasoners/satml_frontend_hybrid.ml
   reasoners/satml_frontend_hybrid.mli
   reasoners/shostak.ml
   reasoners/shostak.mli
   reasoners/sig.mli
   reasoners/sig_rel.mli
   reasoners/th_util.ml
   reasoners/th_util.mli
   reasoners/theory.ml
   reasoners/theory.mli
   reasoners/uf.ml
   reasoners/uf.mli
   reasoners/use.ml
   reasoners/use.mli
   structures/commands.ml
   structures/commands.mli
   structures/errors.ml
   structures/errors.mli
   structures/explanation.ml
   structures/explanation.mli
   structures/expr.ml
   structures/expr.mli
   structures/fpa_rounding.ml
   structures/fpa_rounding.mli
   structures/parsed.ml
   structures/parsed.mli
   structures/profiling.ml
   structures/profiling.mli
   structures/satml_types.ml
   structures/satml_types.mli
   structures/symbols.ml
   structures/symbols.mli
   structures/ty.ml
   structures/ty.mli
   structures/typed.ml
   structures/typed.mli
   structures/var.ml
   structures/var.mli
   structures/xliteral.ml
   structures/xliteral.mli
   util/config.ml
   util/emap.ml
   util/emap.mli
   util/gc_debug.ml
   util/gc_debug.mli
   util/hconsing.ml
   util/hconsing.mli
   util/hstring.ml
   util/hstring.mli
   util/iheap.ml
   util/iheap.mli
   util/lists.ml
   util/lists.mli
   util/loc.ml
   util/loc.mli
   util/myDynlink.ml
   util/myDynlink.mli
   util/myUnix.ml
   util/myUnix.mli
   util/numbers.ml
   util/numbers.mli
   util/numbersInterface.mli
   util/numsNumbers.ml
   util/numsNumbers.mli
   util/options.ml
   util/options.mli
   util/timers.ml
   util/timers.mli
   util/util.ml
   util/util.mli
   util/vec.ml
   util/vec.mli
   util/version.ml
   util/version.mli
   util/zarithNumbers.ml
   util/zarithNumbers.mli))
 (libexec (AltErgoLib.cmxs))
 (doc (CHANGES odoc-pages/index.mld)))
(library
 (name alt-ergo-lib)
 (kind normal)
 (archives (byte AltErgoLib.cma) (native AltErgoLib.cmxa))
 (plugins (byte AltErgoLib.cma) (native AltErgoLib.cmxs))
 (native_archives AltErgoLib.a)
 (requires unix num str zarith dynlink ocplib-simplex)
 (main_module_name AltErgoLib)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name altErgoLib)
     (visibility public)
     (kind alias)
     (source (path AltErgoLib) (impl (path altErgoLib.ml-gen))))
    (name AltErgoLib)
    (modules
     (module
      (obj_name altErgoLib__Ac)
      (visibility public)
      (source
       (path Ac)
       (intf (path reasoners/ac.mli))
       (impl (path reasoners/ac.ml))))
     (module
      (obj_name altErgoLib__Adt)
      (visibility public)
      (source
       (path Adt)
       (intf (path reasoners/adt.mli))
       (impl (path reasoners/adt.ml))))
     (module
      (obj_name altErgoLib__Adt_rel)
      (visibility public)
      (source
       (path Adt_rel)
       (intf (path reasoners/adt_rel.mli))
       (impl (path reasoners/adt_rel.ml))))
     (module
      (obj_name altErgoLib__Arith)
      (visibility public)
      (source
       (path Arith)
       (intf (path reasoners/arith.mli))
       (impl (path reasoners/arith.ml))))
     (module
      (obj_name altErgoLib__Arrays)
      (visibility public)
      (source
       (path Arrays)
       (intf (path reasoners/arrays.mli))
       (impl (path reasoners/arrays.ml))))
     (module
      (obj_name altErgoLib__Arrays_rel)
      (visibility public)
      (source
       (path Arrays_rel)
       (intf (path reasoners/arrays_rel.mli))
       (impl (path reasoners/arrays_rel.ml))))
     (module
      (obj_name altErgoLib__Bitv)
      (visibility public)
      (source
       (path Bitv)
       (intf (path reasoners/bitv.mli))
       (impl (path reasoners/bitv.ml))))
     (module
      (obj_name altErgoLib__Bitv_rel)
      (visibility public)
      (source
       (path Bitv_rel)
       (intf (path reasoners/bitv_rel.mli))
       (impl (path reasoners/bitv_rel.ml))))
     (module
      (obj_name altErgoLib__Ccx)
      (visibility public)
      (source
       (path Ccx)
       (intf (path reasoners/ccx.mli))
       (impl (path reasoners/ccx.ml))))
     (module
      (obj_name altErgoLib__Cnf)
      (visibility public)
      (source
       (path Cnf)
       (intf (path frontend/cnf.mli))
       (impl (path frontend/cnf.ml))))
     (module
      (obj_name altErgoLib__Commands)
      (visibility public)
      (source
       (path Commands)
       (intf (path structures/commands.mli))
       (impl (path structures/commands.ml))))
     (module
      (obj_name altErgoLib__Config)
      (visibility public)
      (source (path Config) (impl (path util/config.ml))))
     (module
      (obj_name altErgoLib__Emap)
      (visibility public)
      (source
       (path Emap)
       (intf (path util/emap.mli))
       (impl (path util/emap.ml))))
     (module
      (obj_name altErgoLib__Enum)
      (visibility public)
      (source
       (path Enum)
       (intf (path reasoners/enum.mli))
       (impl (path reasoners/enum.ml))))
     (module
      (obj_name altErgoLib__Enum_rel)
      (visibility public)
      (source
       (path Enum_rel)
       (intf (path reasoners/enum_rel.mli))
       (impl (path reasoners/enum_rel.ml))))
     (module
      (obj_name altErgoLib__Errors)
      (visibility public)
      (source
       (path Errors)
       (intf (path structures/errors.mli))
       (impl (path structures/errors.ml))))
     (module
      (obj_name altErgoLib__Explanation)
      (visibility public)
      (source
       (path Explanation)
       (intf (path structures/explanation.mli))
       (impl (path structures/explanation.ml))))
     (module
      (obj_name altErgoLib__Expr)
      (visibility public)
      (source
       (path Expr)
       (intf (path structures/expr.mli))
       (impl (path structures/expr.ml))))
     (module
      (obj_name altErgoLib__Fpa_rounding)
      (visibility public)
      (source
       (path Fpa_rounding)
       (intf (path structures/fpa_rounding.mli))
       (impl (path structures/fpa_rounding.ml))))
     (module
      (obj_name altErgoLib__Frontend)
      (visibility public)
      (source
       (path Frontend)
       (intf (path frontend/frontend.mli))
       (impl (path frontend/frontend.ml))))
     (module
      (obj_name altErgoLib__Fun_sat)
      (visibility public)
      (source
       (path Fun_sat)
       (intf (path reasoners/fun_sat.mli))
       (impl (path reasoners/fun_sat.ml))))
     (module
      (obj_name altErgoLib__Gc_debug)
      (visibility public)
      (source
       (path Gc_debug)
       (intf (path util/gc_debug.mli))
       (impl (path util/gc_debug.ml))))
     (module
      (obj_name altErgoLib__Hconsing)
      (visibility public)
      (source
       (path Hconsing)
       (intf (path util/hconsing.mli))
       (impl (path util/hconsing.ml))))
     (module
      (obj_name altErgoLib__Hstring)
      (visibility public)
      (source
       (path Hstring)
       (intf (path util/hstring.mli))
       (impl (path util/hstring.ml))))
     (module
      (obj_name altErgoLib__Iheap)
      (visibility public)
      (source
       (path Iheap)
       (intf (path util/iheap.mli))
       (impl (path util/iheap.ml))))
     (module
      (obj_name altErgoLib__Inequalities)
      (visibility public)
      (source
       (path Inequalities)
       (intf (path reasoners/inequalities.mli))
       (impl (path reasoners/inequalities.ml))))
     (module
      (obj_name altErgoLib__Input)
      (visibility public)
      (source
       (path Input)
       (intf (path frontend/input.mli))
       (impl (path frontend/input.ml))))
     (module
      (obj_name altErgoLib__Instances)
      (visibility public)
      (source
       (path Instances)
       (intf (path reasoners/instances.mli))
       (impl (path reasoners/instances.ml))))
     (module
      (obj_name altErgoLib__IntervalCalculus)
      (visibility public)
      (source
       (path IntervalCalculus)
       (intf (path reasoners/intervalCalculus.mli))
       (impl (path reasoners/intervalCalculus.ml))))
     (module
      (obj_name altErgoLib__Intervals)
      (visibility public)
      (source
       (path Intervals)
       (intf (path reasoners/intervals.mli))
       (impl (path reasoners/intervals.ml))))
     (module
      (obj_name altErgoLib__Ite)
      (visibility public)
      (source
       (path Ite)
       (intf (path reasoners/ite.mli))
       (impl (path reasoners/ite.ml))))
     (module
      (obj_name altErgoLib__Ite_rel)
      (visibility public)
      (source
       (path Ite_rel)
       (intf (path reasoners/ite_rel.mli))
       (impl (path reasoners/ite_rel.ml))))
     (module
      (obj_name altErgoLib__Lists)
      (visibility public)
      (source
       (path Lists)
       (intf (path util/lists.mli))
       (impl (path util/lists.ml))))
     (module
      (obj_name altErgoLib__Loc)
      (visibility public)
      (source (path Loc) (intf (path util/loc.mli)) (impl (path util/loc.ml))))
     (module
      (obj_name altErgoLib__Matching)
      (visibility public)
      (source
       (path Matching)
       (intf (path reasoners/matching.mli))
       (impl (path reasoners/matching.ml))))
     (module
      (obj_name altErgoLib__Matching_types)
      (visibility public)
      (source
       (path Matching_types)
       (intf (path reasoners/matching_types.mli))))
     (module
      (obj_name altErgoLib__MyDynlink)
      (visibility public)
      (source
       (path MyDynlink)
       (intf (path util/myDynlink.mli))
       (impl (path util/myDynlink.ml))))
     (module
      (obj_name altErgoLib__MyUnix)
      (visibility public)
      (source
       (path MyUnix)
       (intf (path util/myUnix.mli))
       (impl (path util/myUnix.ml))))
     (module
      (obj_name altErgoLib__Numbers)
      (visibility public)
      (source
       (path Numbers)
       (intf (path util/numbers.mli))
       (impl (path util/numbers.ml))))
     (module
      (obj_name altErgoLib__NumbersInterface)
      (visibility public)
      (source (path NumbersInterface) (intf (path util/numbersInterface.mli))))
     (module
      (obj_name altErgoLib__NumsNumbers)
      (visibility public)
      (source
       (path NumsNumbers)
       (intf (path util/numsNumbers.mli))
       (impl (path util/numsNumbers.ml))))
     (module
      (obj_name altErgoLib__Options)
      (visibility public)
      (source
       (path Options)
       (intf (path util/options.mli))
       (impl (path util/options.ml))))
     (module
      (obj_name altErgoLib__Parsed)
      (visibility public)
      (source
       (path Parsed)
       (intf (path structures/parsed.mli))
       (impl (path structures/parsed.ml))))
     (module
      (obj_name altErgoLib__Parsed_interface)
      (visibility public)
      (source
       (path Parsed_interface)
       (intf (path frontend/parsed_interface.mli))
       (impl (path frontend/parsed_interface.ml))))
     (module
      (obj_name altErgoLib__Polynome)
      (visibility public)
      (source
       (path Polynome)
       (intf (path reasoners/polynome.mli))
       (impl (path reasoners/polynome.ml))))
     (module
      (obj_name altErgoLib__Profiling)
      (visibility public)
      (source
       (path Profiling)
       (intf (path structures/profiling.mli))
       (impl (path structures/profiling.ml))))
     (module
      (obj_name altErgoLib__Records)
      (visibility public)
      (source
       (path Records)
       (intf (path reasoners/records.mli))
       (impl (path reasoners/records.ml))))
     (module
      (obj_name altErgoLib__Records_rel)
      (visibility public)
      (source
       (path Records_rel)
       (intf (path reasoners/records_rel.mli))
       (impl (path reasoners/records_rel.ml))))
     (module
      (obj_name altErgoLib__Relation)
      (visibility public)
      (source
       (path Relation)
       (intf (path reasoners/relation.mli))
       (impl (path reasoners/relation.ml))))
     (module
      (obj_name altErgoLib__Sat_solver)
      (visibility public)
      (source
       (path Sat_solver)
       (intf (path reasoners/sat_solver.mli))
       (impl (path reasoners/sat_solver.ml))))
     (module
      (obj_name altErgoLib__Sat_solver_sig)
      (visibility public)
      (source
       (path Sat_solver_sig)
       (intf (path reasoners/sat_solver_sig.mli))
       (impl (path reasoners/sat_solver_sig.ml))))
     (module
      (obj_name altErgoLib__Satml)
      (visibility public)
      (source
       (path Satml)
       (intf (path reasoners/satml.mli))
       (impl (path reasoners/satml.ml))))
     (module
      (obj_name altErgoLib__Satml_frontend)
      (visibility public)
      (source
       (path Satml_frontend)
       (intf (path reasoners/satml_frontend.mli))
       (impl (path reasoners/satml_frontend.ml))))
     (module
      (obj_name altErgoLib__Satml_frontend_hybrid)
      (visibility public)
      (source
       (path Satml_frontend_hybrid)
       (intf (path reasoners/satml_frontend_hybrid.mli))
       (impl (path reasoners/satml_frontend_hybrid.ml))))
     (module
      (obj_name altErgoLib__Satml_types)
      (visibility public)
      (source
       (path Satml_types)
       (intf (path structures/satml_types.mli))
       (impl (path structures/satml_types.ml))))
     (module
      (obj_name altErgoLib__Shostak)
      (visibility public)
      (source
       (path Shostak)
       (intf (path reasoners/shostak.mli))
       (impl (path reasoners/shostak.ml))))
     (module
      (obj_name altErgoLib__Sig)
      (visibility public)
      (source (path Sig) (intf (path reasoners/sig.mli))))
     (module
      (obj_name altErgoLib__Sig_rel)
      (visibility public)
      (source (path Sig_rel) (intf (path reasoners/sig_rel.mli))))
     (module
      (obj_name altErgoLib__Symbols)
      (visibility public)
      (source
       (path Symbols)
       (intf (path structures/symbols.mli))
       (impl (path structures/symbols.ml))))
     (module
      (obj_name altErgoLib__Th_util)
      (visibility public)
      (source
       (path Th_util)
       (intf (path reasoners/th_util.mli))
       (impl (path reasoners/th_util.ml))))
     (module
      (obj_name altErgoLib__Theory)
      (visibility public)
      (source
       (path Theory)
       (intf (path reasoners/theory.mli))
       (impl (path reasoners/theory.ml))))
     (module
      (obj_name altErgoLib__Timers)
      (visibility public)
      (source
       (path Timers)
       (intf (path util/timers.mli))
       (impl (path util/timers.ml))))
     (module
      (obj_name altErgoLib__Ty)
      (visibility public)
      (source
       (path Ty)
       (intf (path structures/ty.mli))
       (impl (path structures/ty.ml))))
     (module
      (obj_name altErgoLib__Typechecker)
      (visibility public)
      (source
       (path Typechecker)
       (intf (path frontend/typechecker.mli))
       (impl (path frontend/typechecker.ml))))
     (module
      (obj_name altErgoLib__Typed)
      (visibility public)
      (source
       (path Typed)
       (intf (path structures/typed.mli))
       (impl (path structures/typed.ml))))
     (module
      (obj_name altErgoLib__Uf)
      (visibility public)
      (source
       (path Uf)
       (intf (path reasoners/uf.mli))
       (impl (path reasoners/uf.ml))))
     (module
      (obj_name altErgoLib__Use)
      (visibility public)
      (source
       (path Use)
       (intf (path reasoners/use.mli))
       (impl (path reasoners/use.ml))))
     (module
      (obj_name altErgoLib__Util)
      (visibility public)
      (source
       (path Util)
       (intf (path util/util.mli))
       (impl (path util/util.ml))))
     (module
      (obj_name altErgoLib__Var)
      (visibility public)
      (source
       (path Var)
       (intf (path structures/var.mli))
       (impl (path structures/var.ml))))
     (module
      (obj_name altErgoLib__Vec)
      (visibility public)
      (source (path Vec) (intf (path util/vec.mli)) (impl (path util/vec.ml))))
     (module
      (obj_name altErgoLib__Version)
      (visibility public)
      (source
       (path Version)
       (intf (path util/version.mli))
       (impl (path util/version.ml))))
     (module
      (obj_name altErgoLib__Xliteral)
      (visibility public)
      (source
       (path Xliteral)
       (intf (path structures/xliteral.mli))
       (impl (path structures/xliteral.ml))))
     (module
      (obj_name altErgoLib__ZarithNumbers)
      (visibility public)
      (source
       (path ZarithNumbers)
       (intf (path util/zarithNumbers.mli))
       (impl (path util/zarithNumbers.ml))))))
   (wrapped true))))
