Searched refs:negPlusKView (Results 1 – 1 of 1) sorted by relevance
178 negPlusKView :: TTerm -> Maybe (Integer, TTerm)179 negPlusKView (TApp (TPrim PSub) [k, n]) | Just k <- intView k = Just (-k, n) function180 negPlusKView _ = Nothing function