(coq.theory
 (name b)
 (package ccycle)
 (theories a))
