fact: Fixpoint conc n (cs : Caps n) : terms (sum cs) := match cs as cs return terms (sum cs) with | Vnil => Vnil | Vcons c cs' => Vapp (aliens c) (conc cs') end.
imports: CoLoR(LogicUtil ACalls ATrs VecUtil ListUtil NatUtil RelUtil)