(lang dune 3.7)
(name pomap)
(sections
 (lib /usr/local/lib/ocaml/site-lib/pomap)
 (libexec /usr/local/lib/ocaml/site-lib/pomap)
 (doc /usr/local/share/doc/ocaml/pomap))
(files
 (lib
  (META
   display_hasse_impl.ml
   display_hasse_impl.mli
   display_hasse_intf.ml
   dune-package
   opam
   pomap.a
   pomap.cma
   pomap.cmi
   pomap.cmt
   pomap.cmx
   pomap.cmxa
   pomap.ml
   pomap__Display_hasse_impl.cmi
   pomap__Display_hasse_impl.cmt
   pomap__Display_hasse_impl.cmti
   pomap__Display_hasse_impl.cmx
   pomap__Display_hasse_intf.cmi
   pomap__Display_hasse_intf.cmt
   pomap__Display_hasse_intf.cmx
   pomap__Pomap_impl.cmi
   pomap__Pomap_impl.cmt
   pomap__Pomap_impl.cmti
   pomap__Pomap_impl.cmx
   pomap__Pomap_intf.cmi
   pomap__Pomap_intf.cmt
   pomap__Pomap_intf.cmx
   pomap__Ptset.cmi
   pomap__Ptset.cmt
   pomap__Ptset.cmti
   pomap__Ptset.cmx
   pomap__Store_impl.cmi
   pomap__Store_impl.cmt
   pomap__Store_impl.cmti
   pomap__Store_impl.cmx
   pomap__Store_intf.cmi
   pomap__Store_intf.cmt
   pomap__Store_intf.cmx
   pomap_impl.ml
   pomap_impl.mli
   pomap_intf.ml
   ptset.ml
   ptset.mli
   store_impl.ml
   store_impl.mli
   store_intf.ml))
 (libexec (pomap.cmxs))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name pomap)
 (kind normal)
 (archives (byte pomap.cma) (native pomap.cmxa))
 (plugins (byte pomap.cma) (native pomap.cmxs))
 (native_archives pomap.a)
 (main_module_name Pomap)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name pomap)
     (visibility public)
     (kind alias)
     (source (path Pomap) (impl (path pomap.ml-gen))))
    (name Pomap)
    (modules
     (module
      (obj_name pomap__Display_hasse_impl)
      (visibility public)
      (source
       (path Display_hasse_impl)
       (intf (path display_hasse_impl.mli))
       (impl (path display_hasse_impl.ml))))
     (module
      (obj_name pomap__Display_hasse_intf)
      (visibility public)
      (source (path Display_hasse_intf) (impl (path display_hasse_intf.ml))))
     (module
      (obj_name pomap__Pomap_impl)
      (visibility public)
      (source
       (path Pomap_impl)
       (intf (path pomap_impl.mli))
       (impl (path pomap_impl.ml))))
     (module
      (obj_name pomap__Pomap_intf)
      (visibility public)
      (source (path Pomap_intf) (impl (path pomap_intf.ml))))
     (module
      (obj_name pomap__Ptset)
      (visibility public)
      (source (path Ptset) (intf (path ptset.mli)) (impl (path ptset.ml))))
     (module
      (obj_name pomap__Store_impl)
      (visibility public)
      (source
       (path Store_impl)
       (intf (path store_impl.mli))
       (impl (path store_impl.ml))))
     (module
      (obj_name pomap__Store_intf)
      (visibility public)
      (source (path Store_intf) (impl (path store_intf.ml))))))
   (wrapped true))))
