fact: Definition lBoundVars {G : CFGV} ( vc : VarSym G) {ls : list (bool * (GSym G))} (llbn : list (list nat)) (lmix : Mixture ls) : list( (list (vType vc))) := map (flat_map (getBVarsNth vc lmix)) llbn.
imports: CFGV Omega