menu
z3 package
documentation
z3.dart
float16 function
float16 function
dark_mode
light_mode
float16
function
FloatNumeral
float16
(
num
value
)
Implementation
FloatNumeral float16(num value) => FloatNumeral.from(value, Float16Sort());
z3 package
documentation
z3
float16 function
z3 library