(library
 (public_name dyn)
 (libraries pp ordering)
 (instrumentation
  (backend bisect_ppx)))
