(library
 (public_name b)
 (virtual_modules x))

(rule
 (with-stdout-to
  x.mli
  (echo "")))
