fact: Fixpoint dup_int_context c := match c with | Hole => Hole | @Cont _ f _ _ H v c' w => @Cont Sig' (int_symb f) _ _ H (Vmap dup_int_term v) (dup_int_context c') (Vmap dup_int_term w) end.
imports: CoLoR(ATrs ListUtil VecUtil LogicUtil RelUtil SN)