Function float_cast_spec Copy item path

pub uninterp fn float_cast_spec<From, To>(from: From, to: To) -> bool