Searched refs:projDropPars (Results 1 – 2 of 2) sorted by relevance
183 Just pr -> return $ applyE (projDropPars pr ProjSystem) vs
1946 projDropPars :: Projection -> ProjOrigin -> Term1948 projDropPars (Projection Just{} d _ _ lams) o = function1955 projDropPars (Projection Nothing d _ _ lams) o = function