(library
  (name trace_ppx_runtime)
  (public_name elpi.trace.runtime)
  (libraries re)
  (modules runtime)
)