Skip to main content

from_exact_real

logicaffeine_compile::semantics::exact

Function from_exact_real 

Source 
pub fn from_exact_real(x: ExactReal) -> RuntimeValue
Expand description

The canonical runtime value of a computable real: an algebraic one is an algebraic number.