(lang dune 3.18)
(name modal)
(version 0.1.0)
(sections (lib .) (libexec .) (bin ../../bin) (doc ../../doc/modal))
(files
 (lib
  (META
   ast.ml
   dune-package
   eval.ml
   modal.a
   modal.cma
   modal.cmi
   modal.cmt
   modal.cmx
   modal.cmxa
   modal.ml
   modal__Ast.cmi
   modal__Ast.cmt
   modal__Ast.cmx
   modal__Eval.cmi
   modal__Eval.cmt
   modal__Eval.cmx
   modal__Parse.cmi
   modal__Parse.cmt
   modal__Parse.cmx
   modal__Program.cmi
   modal__Program.cmt
   modal__Program.cmx
   opam
   parse.ml
   program.ml))
 (libexec (modal.cmxs))
 (bin (modal))
 (doc (README.md)))
(library
 (name modal)
 (kind normal)
 (archives (byte modal.cma) (native modal.cmxa))
 (plugins (byte modal.cma) (native modal.cmxs))
 (native_archives modal.a)
 (main_module_name Modal)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name modal)
     (visibility public)
     (kind alias)
     (source (path Modal) (impl (path modal.ml-gen))))
    (name Modal)
    (modules
     (module
      (obj_name modal__Ast)
      (visibility public)
      (source (path Ast) (impl (path ast.ml))))
     (module
      (obj_name modal__Eval)
      (visibility public)
      (source (path Eval) (impl (path eval.ml))))
     (module
      (obj_name modal__Parse)
      (visibility public)
      (source (path Parse) (impl (path parse.ml))))
     (module
      (obj_name modal__Program)
      (visibility public)
      (source (path Program) (impl (path program.ml))))))
   (wrapped true))))