  (coq.theory
   (name B)
   (modules b))