(library
 (name scope1)
 (public_name scope1))

(documentation)