(library
  (name spectec)
  (modules)
  (libraries
    (re_export util)
    (re_export el)
    (re_export il)
    (re_export frontend)
    (re_export middlend)
    (re_export backend_ast)
    (re_export backend_latex)
    (re_export backend_prose)
    (re_export backend_splice)
    (re_export backend_interpreter)
    (re_export il2al)
  )
)