(lang dune 2.9)
(name alt-ergo-lib)
(version 2.4.2)
(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)
 (jsoo_runtime missing_primitives.js)
 (requires seq unix num str zarith dynlink ocplib-simplex stdlib-shims)
 (main_module_name AltErgoLib)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name AltErgoLib)
   (modules
    ((name Ac) (obj_name altErgoLib__Ac) (visibility public) (impl) (intf))
    ((name Adt) (obj_name altErgoLib__Adt) (visibility public) (impl) (intf))
    ((name Adt_rel)
     (obj_name altErgoLib__Adt_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Arith)
     (obj_name altErgoLib__Arith)
     (visibility public)
     (impl)
     (intf))
    ((name Arrays)
     (obj_name altErgoLib__Arrays)
     (visibility public)
     (impl)
     (intf))
    ((name Arrays_rel)
     (obj_name altErgoLib__Arrays_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Bitv)
     (obj_name altErgoLib__Bitv)
     (visibility public)
     (impl)
     (intf))
    ((name Bitv_rel)
     (obj_name altErgoLib__Bitv_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Ccx) (obj_name altErgoLib__Ccx) (visibility public) (impl) (intf))
    ((name Cnf) (obj_name altErgoLib__Cnf) (visibility public) (impl) (intf))
    ((name Commands)
     (obj_name altErgoLib__Commands)
     (visibility public)
     (impl)
     (intf))
    ((name Config) (obj_name altErgoLib__Config) (visibility public) (impl))
    ((name Emap)
     (obj_name altErgoLib__Emap)
     (visibility public)
     (impl)
     (intf))
    ((name Enum)
     (obj_name altErgoLib__Enum)
     (visibility public)
     (impl)
     (intf))
    ((name Enum_rel)
     (obj_name altErgoLib__Enum_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Errors)
     (obj_name altErgoLib__Errors)
     (visibility public)
     (impl)
     (intf))
    ((name Explanation)
     (obj_name altErgoLib__Explanation)
     (visibility public)
     (impl)
     (intf))
    ((name Expr)
     (obj_name altErgoLib__Expr)
     (visibility public)
     (impl)
     (intf))
    ((name Format_shims)
     (obj_name altErgoLib__Format_shims)
     (visibility public)
     (impl))
    ((name Fpa_rounding)
     (obj_name altErgoLib__Fpa_rounding)
     (visibility public)
     (impl)
     (intf))
    ((name Frontend)
     (obj_name altErgoLib__Frontend)
     (visibility public)
     (impl)
     (intf))
    ((name Fun_sat)
     (obj_name altErgoLib__Fun_sat)
     (visibility public)
     (impl)
     (intf))
    ((name Gc_debug)
     (obj_name altErgoLib__Gc_debug)
     (visibility public)
     (impl)
     (intf))
    ((name Hconsing)
     (obj_name altErgoLib__Hconsing)
     (visibility public)
     (impl)
     (intf))
    ((name Hstring)
     (obj_name altErgoLib__Hstring)
     (visibility public)
     (impl)
     (intf))
    ((name Iheap)
     (obj_name altErgoLib__Iheap)
     (visibility public)
     (impl)
     (intf))
    ((name Inequalities)
     (obj_name altErgoLib__Inequalities)
     (visibility public)
     (impl)
     (intf))
    ((name Input)
     (obj_name altErgoLib__Input)
     (visibility public)
     (impl)
     (intf))
    ((name Instances)
     (obj_name altErgoLib__Instances)
     (visibility public)
     (impl)
     (intf))
    ((name IntervalCalculus)
     (obj_name altErgoLib__IntervalCalculus)
     (visibility public)
     (impl)
     (intf))
    ((name Intervals)
     (obj_name altErgoLib__Intervals)
     (visibility public)
     (impl)
     (intf))
    ((name Ite) (obj_name altErgoLib__Ite) (visibility public) (impl) (intf))
    ((name Ite_rel)
     (obj_name altErgoLib__Ite_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Lists)
     (obj_name altErgoLib__Lists)
     (visibility public)
     (impl)
     (intf))
    ((name Loc) (obj_name altErgoLib__Loc) (visibility public) (impl) (intf))
    ((name Matching)
     (obj_name altErgoLib__Matching)
     (visibility public)
     (impl)
     (intf))
    ((name Matching_types)
     (obj_name altErgoLib__Matching_types)
     (visibility public)
     (intf))
    ((name MyDynlink)
     (obj_name altErgoLib__MyDynlink)
     (visibility public)
     (impl)
     (intf))
    ((name MyUnix)
     (obj_name altErgoLib__MyUnix)
     (visibility public)
     (impl)
     (intf))
    ((name Numbers)
     (obj_name altErgoLib__Numbers)
     (visibility public)
     (impl)
     (intf))
    ((name NumbersInterface)
     (obj_name altErgoLib__NumbersInterface)
     (visibility public)
     (intf))
    ((name NumsNumbers)
     (obj_name altErgoLib__NumsNumbers)
     (visibility public)
     (impl)
     (intf))
    ((name Options)
     (obj_name altErgoLib__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Parsed)
     (obj_name altErgoLib__Parsed)
     (visibility public)
     (impl)
     (intf))
    ((name Parsed_interface)
     (obj_name altErgoLib__Parsed_interface)
     (visibility public)
     (impl)
     (intf))
    ((name Polynome)
     (obj_name altErgoLib__Polynome)
     (visibility public)
     (impl)
     (intf))
    ((name Printer)
     (obj_name altErgoLib__Printer)
     (visibility public)
     (impl)
     (intf))
    ((name Profiling)
     (obj_name altErgoLib__Profiling)
     (visibility public)
     (impl)
     (intf))
    ((name Records)
     (obj_name altErgoLib__Records)
     (visibility public)
     (impl)
     (intf))
    ((name Records_rel)
     (obj_name altErgoLib__Records_rel)
     (visibility public)
     (impl)
     (intf))
    ((name Relation)
     (obj_name altErgoLib__Relation)
     (visibility public)
     (impl)
     (intf))
    ((name Sat_solver)
     (obj_name altErgoLib__Sat_solver)
     (visibility public)
     (impl)
     (intf))
    ((name Sat_solver_sig)
     (obj_name altErgoLib__Sat_solver_sig)
     (visibility public)
     (impl)
     (intf))
    ((name Satml)
     (obj_name altErgoLib__Satml)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_frontend)
     (obj_name altErgoLib__Satml_frontend)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_frontend_hybrid)
     (obj_name altErgoLib__Satml_frontend_hybrid)
     (visibility public)
     (impl)
     (intf))
    ((name Satml_types)
     (obj_name altErgoLib__Satml_types)
     (visibility public)
     (impl)
     (intf))
    ((name Shostak)
     (obj_name altErgoLib__Shostak)
     (visibility public)
     (impl)
     (intf))
    ((name Sig) (obj_name altErgoLib__Sig) (visibility public) (intf))
    ((name Sig_rel) (obj_name altErgoLib__Sig_rel) (visibility public) (intf))
    ((name Steps)
     (obj_name altErgoLib__Steps)
     (visibility public)
     (impl)
     (intf))
    ((name Symbols)
     (obj_name altErgoLib__Symbols)
     (visibility public)
     (impl)
     (intf))
    ((name Th_util)
     (obj_name altErgoLib__Th_util)
     (visibility public)
     (impl)
     (intf))
    ((name Theory)
     (obj_name altErgoLib__Theory)
     (visibility public)
     (impl)
     (intf))
    ((name Timers)
     (obj_name altErgoLib__Timers)
     (visibility public)
     (impl)
     (intf))
    ((name Ty) (obj_name altErgoLib__Ty) (visibility public) (impl) (intf))
    ((name Typechecker)
     (obj_name altErgoLib__Typechecker)
     (visibility public)
     (impl)
     (intf))
    ((name Typed)
     (obj_name altErgoLib__Typed)
     (visibility public)
     (impl)
     (intf))
    ((name Uf) (obj_name altErgoLib__Uf) (visibility public) (impl) (intf))
    ((name Use) (obj_name altErgoLib__Use) (visibility public) (impl) (intf))
    ((name Util)
     (obj_name altErgoLib__Util)
     (visibility public)
     (impl)
     (intf))
    ((name Var) (obj_name altErgoLib__Var) (visibility public) (impl) (intf))
    ((name Vec) (obj_name altErgoLib__Vec) (visibility public) (impl) (intf))
    ((name Version)
     (obj_name altErgoLib__Version)
     (visibility public)
     (impl)
     (intf))
    ((name Xliteral)
     (obj_name altErgoLib__Xliteral)
     (visibility public)
     (impl)
     (intf))
    ((name ZarithNumbers)
     (obj_name altErgoLib__ZarithNumbers)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name AltErgoLib)
    (obj_name altErgoLib)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
