MCPcopy Create free account
hub / github.com/digama0/lean-sys / lean_float_to_float32

Function lean_float_to_float32

src/primitive/float32.rs:98–100  ·  view source on GitHub ↗
(a: f64)

Source from the content-addressed store, hash-verified

96}
97
98pub fn lean_float_to_float32(a: f64) -> f32 {
99 a as f32
100}
101pub fn lean_float32_to_float(a: f32) -> f64 {
102 a as f64
103}

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected