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