Searched defs:flexVars (Results 1 – 2 of 2) sorted by relevance
88 -- flexVars = flexibleVars fv function92 -- flexVars = flexibleVars fv function
271 , flexVars :: FlexibleVars function411 , flexVars = permuteFlex (reverseP rho) $ flexVars s function459 -- , flexVars = flexVars s function1055 , flexVars = projectFlexible ++ liftFlexibles nfields (flexVars s) function