MCPcopy 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}
82pub fn lean_int8_to_float(a: u8) -> f64 {
83 a as i8 as f64
84}
85pub 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