fact: Fixpoint apps {n} t (us : Tes n) := match us with | Vnil => t | Vcons u us' => apps (App t u) us' end.
imports: Coq(FSets Structures.OrderedType) CoLoR(LogicUtil BoolUtil VecUtil FSetUtil NatUtil RelUtil SN SetUtil)