fact: Fixpoint fvs {n} (ts : Tes n) := match ts with | Vnil => empty | Vcons t ts' => union (fv t) (fvs ts') end.
imports: Coq(FSets Structures.OrderedType) CoLoR(LogicUtil BoolUtil VecUtil FSetUtil NatUtil RelUtil SN SetUtil)