(lang dune 3.11)
(name ke)
(sections (lib .) (libexec .) (doc ../../doc/ke))
(files
 (lib
  (META
   dune-package
   fke.ml
   fke.mli
   ke.a
   ke.cma
   ke.cmi
   ke.cmt
   ke.cmti
   ke.cmx
   ke.cmxa
   ke.ml
   ke.mli
   ke__.cmi
   ke__.cmt
   ke__.cmx
   ke__.ml
   ke__Fke.cmi
   ke__Fke.cmt
   ke__Fke.cmti
   ke__Fke.cmx
   ke__Rke.cmi
   ke__Rke.cmt
   ke__Rke.cmti
   ke__Rke.cmx
   ke__Sigs.cmi
   ke__Sigs.cmt
   ke__Sigs.cmx
   opam
   rke.ml
   rke.mli
   sigs.ml))
 (libexec (ke.cmxs))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name ke)
 (kind normal)
 (archives (byte ke.cma) (native ke.cmxa))
 (plugins (byte ke.cma) (native ke.cmxs))
 (native_archives ke.a)
 (requires fmt bigarray-compat)
 (main_module_name Ke)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name ke__)
     (visibility public)
     (kind alias)
     (source (path Ke__) (impl (path ke__.ml-gen))))
    (name Ke)
    (modules
     (module
      (obj_name ke__Fke)
      (visibility public)
      (source (path Fke) (intf (path fke.mli)) (impl (path fke.ml))))
     (module
      (obj_name ke)
      (visibility public)
      (source (path Ke) (intf (path ke.mli)) (impl (path ke.ml))))
     (module
      (obj_name ke__Rke)
      (visibility public)
      (source (path Rke) (intf (path rke.mli)) (impl (path rke.ml))))
     (module
      (obj_name ke__Sigs)
      (visibility public)
      (source (path Sigs) (impl (path sigs.ml))))))
   (wrapped true))))
