parameters: (ast,subs)
return_statement: return ast.clone(args)
docstring: Replace named binders that are present in subs.  Here, subs is a
      dict from logic.NamedBinder objects to (usually) logic.Const
      objects. Exception is thrown in case of a sort conflict.
  
      Note: named binders do not get replaced in formulas bound by named binders!
docstring_summary: Replace named binders that are present in subs.  Here, subs is a
      dict from logic.NamedBinder objects to (usually) logic.Const
      objects. Exception is thrown in case of a sort conflict.
docstring_tokens: Replace named binders that are present in subs . Here subs is a dict from logic . NamedBinder objects to ( usually ) logic . Const objects . Exception is thrown in case of a sort conflict .
function: def replace_named_binders_ast(ast,subs):
      """
      Replace named binders that are present in subs.  Here, subs is a
      dict from logic.NamedBinder objects to (usually) logic.Const
      objects. Exception is thrown in case of a sort conflict.
  
      Note: named binders do not get replaced in formulas bound by named binders!
      """
      if is_named_binder(ast):
          return subs.get(ast,ast)
      args = [replace_named_binders_ast(x, subs) for x in ast.args]
      if is_app(ast):
          return subs.get(ast.rep,ast.rep)(*args)
      return ast.clone(args)
function_tokens: def replace_named_binders_ast ( ast , subs ) : if is_named_binder ( ast ) : return subs . get ( ast , ast ) args = [ replace_named_binders_ast ( x , subs ) for x in ast . args ] if is_app ( ast ) : return subs . get ( ast . rep , ast . rep ) ( * args ) return ast . clone ( args )