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