Home
last modified time | relevance | path

Searched refs:sLg2 (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DSBV.hs285 wordLg2 _ a = sLg2 a
444 sLg2 :: SWord SBV -> SEval SBV (SWord SBV)
445 sLg2 x = pure $ go 0 function
H A DWhat4.hs343 wordLg2 sym x = sLg2 (w4 sym) x
530 sLg2 :: W4.IsSymExprBuilder sym => sym -> SW.SWord sym -> SEval (What4 sym) (SW.SWord sym)
531 sLg2 sym x = liftIO $ go 0 function