(library
 (public_name a)
 (virtual_modules x)
 (default_implementation a_default))

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