fact: Fixpoint MakeAbstractions {lgs} (m : Mixture lgs) (llB : list (list (vType vc))): list Abstraction := match m with | mnil => [] | mtcons _ _ h tl=> (termAbs (lhead llB) h ::(MakeAbstractions tl (tail llB))) | mpcons _ _ h tl=> (patAbs (lhead llB) h ::(MakeAbstractions tl (tail llB))) end.
imports: Swap