(library
 (name ordering)
 (public_name ordering)
 (synopsis "Element ordering.")
 (instrumentation
  (backend bisect_ppx)))
