Skip to main content

standard_part

Function standard_part 

Source
pub fn standard_part<V: TowerValue>(v: &V) -> Result<V, String>
Expand description

The standard part: a hyperreal’s standard value, branch by branch for a residue-dependent value; a standard value is its own. An infinite value has none.