Searched refs:sModSub (Results 1 – 2 of 2) sorted by relevance
322 znMinus sym m a b = sModSub sym m a b389 sModSub :: SBV -> Integer -> SInteger SBV -> SInteger SBV -> SEval SBV (SInteger SBV)390 sModSub _ 0 _ _ = evalPanic "sModSub" ["0 modulus not allowed"] function391 sModSub sym modulus x y = function
427 znMinus sym m x y = liftIO $ sModSub (w4 sym) m x y494 sModSub :: W4.IsSymExprBuilder sym =>496 sModSub _sym 0 _ _ = evalPanic "sModSub" ["0 modulus not allowed"] function497 sModSub sym m x y function