Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
98
pub fn lean_float_to_float32(a: f64) -> f32 {
99
a as f32
100
}
101
pub 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