PropaFP-0.1.2.0: Auto-active verification of floating-point programs
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
PropaFP.Translators.BoxFun
Documentation
expressionToBoxFun
::
E
->
VarMap
->
Precision
->
BoxFun
Source
#