Function term_get_fp_value 

pub unsafe extern "C" fn term_get_fp_value(
    term: Term,
    ew: *mut u32,
    sw: *mut u32,
    val: *mut Term,
)

Get the representation of a floating-point value as its exponent width, significand width and a bit-vector value term. @note Asserts cvc5_term_is_fp_value(). @param term The term. @param ew The resulting exponent width. @param sw The resulting significand width. @param val The resulting bit-vector value term.