(library
 (name synext)
 (package beluga)
 (modules :standard)
 (libraries support syncom)
 (instrumentation
  (backend bisect_ppx --bisect-silent yes)))
