Home
last modified time | relevance | path

Searched refs:PStrict (Results 1 – 4 of 4) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/
H A DPrims.hs18 | PStrict (GenValue sym -> Prim sym) constructor
31 PStrict f -> lam sym (\x -> evalPrim sym nm . f =<< x)
H A DGeneric.hs2004 PStrict \v ->
2028 PStrict \v ->
2324 PStrict \x ->
2334 PStrict \x ->
2340 PStrict \xs ->
2347 PStrict \xs ->
2356 PStrict \s ->
H A DSBV.hs339 PStrict \y ->
H A DWhat4.hs519 PStrict \y ->