(rocq.theory
 (name basic)
 (package foo))
