pub unsafe extern "C" fn Z3_mk_fpa_nan( c: Z3_context, s: Z3_sort) -> Z3_ast
Create a floating-point NaN of sort s.
s
c
Z3_mk_fpa_inf
Z3_mk_fpa_zero