(library
 (name dune_section)
 (public_name dune-private-libs.dune-section)
 (synopsis "[Internal] section definition")
 (instrumentation
  (backend bisect_ppx)))
