(library
 (public_name foo))

(install
 (section lib)
 (package foo)
 (files (a as theories/a)))
