spectec/src/il/dune

(library
  (name il)
  (libraries util zarith xl el)
  (modules ast eq free subst iter env eval print debug valid)
)