MCPcopy 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}
43pub fn lean_float_add(a: f64, b: f64) -> f64 {
44 a + b
45}
46pub 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