(library
 (name impl)
 (implements bar))
