fact: Fixpoint vcont_of_acont (c : acont) : vcont := match c with | AContext.Hole => Hole | @AContext.Cont _ f i j _ ts1 d ts2 => VCont f (vterms_of_aterms ts1) (vcont_of_acont d) (vterms_of_aterms ts2) end.
imports: CoLoR(LogicUtil ListUtil VecUtil SN)