Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/digama0/lean-sys
/ lean_float32_div
Function
lean_float32_div
src/primitive/float32.rs:52–54 ·
view source on GitHub ↗
(a: f32, b: f32)
Source
from the content-addressed store, hash-verified
50
a * b
51
}
52
pub fn lean_float32_div(a: f32, b: f32) -> f32 {
53
a / b
54
}
55
pub fn lean_float32_negate(a: f32) -> f32 {
56
-a
57
}
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected