Home
last modified time | relevance | path

Searched defs:sModNegate (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DWhat4.hs519 sModNegate _sym 0 _ = evalPanic "sModMult" ["0 modulus not allowed"] function
520 sModNegate sym m x function
H A DSBV.hs397 sModNegate _ 0 _ = evalPanic "sModNegate" ["0 modulus not allowed"] function
398 sModNegate sym modulus x = function