cryptol-2.9.0: Cryptol: The Language of Cryptography
Cryptol.Eval.Concrete.Float
Description
Concrete evaluations for floating point primitives.
floatPrims :: Concrete -> Map PrimIdent Value Source #