cryptol-2.9.1: Cryptol: The Language of Cryptography

Safe HaskellSafe
LanguageHaskell2010

Cryptol.Eval.Concrete.Float

Description

Concrete evaluations for floating point primitives.

Documentation

floatPrims :: Concrete -> Map PrimIdent Value Source #