parameters: (s)
return_statement: return FPNumRef(Z3_mk_fpa_zero(s.ctx_ref(), s.ast, False), s.ctx)
docstring: Create a Z3 floating-point +0.0 term.
docstring_summary: Create a Z3 floating-point +0.0 term.
docstring_tokens: Create a Z3 floating - point + 0 . 0 term .
function: def fpPlusZero(s):
      """Create a Z3 floating-point +0.0 term."""
      _z3_assert(isinstance(s, FPSortRef), "sort mismatch")
      return FPNumRef(Z3_mk_fpa_zero(s.ctx_ref(), s.ast, False), s.ctx)
function_tokens: def fpPlusZero ( s ) : _z3_assert ( isinstance ( s , FPSortRef ) , "sort mismatch" ) return FPNumRef ( Z3_mk_fpa_zero ( s . ctx_ref ( ) , s . ast , False ) , s . ctx )