Searched defs:reduceShift (Results 1 – 1 of 1) sorted by relevance
666 reduceShift _wop _sym ZBV _ = return ZBV function667 reduceShift _wop _sym x ZBV = return x function668 reduceShift wop sym (DBV x) (DBV y) = function