Home
last modified time | relevance | path

Searched refs:wordPlus (Results 1 – 5 of 5) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DSBV.hs260 wordPlus _ a b = pure $! svPlus a b function
H A DConcrete.hs242 wordPlus _ (BV i x) (BV j y)
H A DWhat4.hs339 wordPlus sym x y = liftIO (SW.bvAdd (w4 sym) x y) function
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/
H A DBackend.hs431 wordPlus ::
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/
H A DGeneric.hs446 opw _w x y = wordPlus sym x y