Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/digama0/lean-sys
/ lean_float_add
Function
lean_float_add
src/primitive/float.rs:43–45 ·
view source on GitHub ↗
(a: f64, b: f64)
Source
from the content-addressed store, hash-verified
41
a as isize as usize
42
}
43
pub fn lean_float_add(a: f64, b: f64) -> f64 {
44
a + b
45
}
46
pub fn lean_float_sub(a: f64, b: f64) -> f64 {
47
a - b
48
}
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected