parameters: (name, ctx=None)
return_statement: return Z3_probe_get_descr(ctx.ref(), name)
docstring: Return a short description for the probe named `name`.
  
      >>> d = probe_description('memory')
docstring_summary: Return a short description for the probe named `name`.
docstring_tokens: Return a short description for the probe named name .
function: def probe_description(name, ctx=None):
      """Return a short description for the probe named `name`.
  
      >>> d = probe_description('memory')
      """
      ctx = _get_ctx(ctx)
      return Z3_probe_get_descr(ctx.ref(), name)
function_tokens: def probe_description ( name , ctx = None ) : ctx = _get_ctx ( ctx ) return Z3_probe_get_descr ( ctx . ref ( ) , name )