(lang dune 2.9)
(name psmt2-frontend)
(version 0.4.0)
(library
 (name psmt2-frontend)
 (kind normal)
 (archives (byte psmt2Frontend.cma) (native psmt2Frontend.cmxa))
 (plugins (byte psmt2Frontend.cma) (native psmt2Frontend.cmxs))
 (native_archives psmt2Frontend.a)
 (main_module_name Psmt2Frontend)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Psmt2Frontend)
   (modules
    ((name Main) (obj_name psmt2Frontend__Main) (visibility public) (impl))
    ((name Options)
     (obj_name psmt2Frontend__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Smtlib_error)
     (obj_name psmt2Frontend__Smtlib_error)
     (visibility public)
     (impl))
    ((name Smtlib_lexer)
     (obj_name psmt2Frontend__Smtlib_lexer)
     (visibility public)
     (impl))
    ((name Smtlib_parser)
     (obj_name psmt2Frontend__Smtlib_parser)
     (visibility public)
     (impl)
     (intf))
    ((name Smtlib_printer)
     (obj_name psmt2Frontend__Smtlib_printer)
     (visibility public)
     (impl))
    ((name Smtlib_syntax)
     (obj_name psmt2Frontend__Smtlib_syntax)
     (visibility public)
     (impl))
    ((name Smtlib_ty)
     (obj_name psmt2Frontend__Smtlib_ty)
     (visibility public)
     (impl))
    ((name Smtlib_typed_env)
     (obj_name psmt2Frontend__Smtlib_typed_env)
     (visibility public)
     (impl))
    ((name Smtlib_typed_logic)
     (obj_name psmt2Frontend__Smtlib_typed_logic)
     (visibility public)
     (impl))
    ((name Smtlib_typing)
     (obj_name psmt2Frontend__Smtlib_typing)
     (visibility public)
     (impl))
    ((name Version)
     (obj_name psmt2Frontend__Version)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Psmt2Frontend)
    (obj_name psmt2Frontend)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
