Searched defs:mkPmLetVar (Results 1 – 1 of 1) sorted by relevance
405 mkPmLetVar x y | x == y = [] function406 mkPmLetVar x y = [PmLet x (Var y)] function