fact: Fixpoint MixMap {T : Type} {G : CFGV} {lgs : MixtureParam} (ft: forall (gs : (GSym G)) (p : Term gs), T) (fp: forall (gs : (GSym G)) (p : Pattern gs), T) (pts : Mixture lgs) : list T := match pts with | mnil => [] | mtcons sh _ th ttl => (ft sh th)::(MixMap ft fp ttl) | mpcons sh _ ph ptl => (fp sh ph)::(MixMap ft fp ptl) end.
imports: CFGV Omega