(menhir (modules a))

(library
 (name bar)
 (public_name bar))
