pomap_impl.cmi: pomap_intf.cmi