Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/digama0/lean-sys
/ lean_int8_to_float
Function
lean_int8_to_float
src/primitive/float.rs:82–84 ·
view source on GitHub ↗
(a: u8)
Source
from the content-addressed store, hash-verified
80
a as f64
81
}
82
pub fn lean_int8_to_float(a: u8) -> f64 {
83
a as i8 as f64
84
}
85
pub fn lean_int16_to_float(a: u16) -> f64 {
86
a as i16 as f64
87
}
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected