MCPcopy 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}
52pub fn lean_float32_div(a: f32, b: f32) -> f32 {
53 a / b
54}
55pub 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