(lang dune 2.9)
(name pomap)
(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
   (main_module_name Pomap)
   (modules
    ((name Display_hasse_impl)
     (obj_name pomap__Display_hasse_impl)
     (visibility public)
     (impl)
     (intf))
    ((name Display_hasse_intf)
     (obj_name pomap__Display_hasse_intf)
     (visibility public)
     (impl))
    ((name Pomap_impl)
     (obj_name pomap__Pomap_impl)
     (visibility public)
     (impl)
     (intf))
    ((name Pomap_intf)
     (obj_name pomap__Pomap_intf)
     (visibility public)
     (impl))
    ((name Ptset) (obj_name pomap__Ptset) (visibility public) (impl) (intf))
    ((name Store_impl)
     (obj_name pomap__Store_impl)
     (visibility public)
     (impl)
     (intf))
    ((name Store_intf)
     (obj_name pomap__Store_intf)
     (visibility public)
     (impl)))
   (alias_module
    (name Pomap)
    (obj_name pomap)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
