parameters: (match,fmla,env = None)
return_statement: return apply_match_alt_rec(match,fmla,env if env is not None else set())
docstring: apply a match to a formula. 
  
      In effect, substitute all symbols in the match with the
      corresponding lambda terms and apply beta reduction
  
      If present, env is list of symbols bound in the environment.
      Substituting one of these symbols into the formula will be considered
      capture and cause CaptureError to be raised.
docstring_summary: apply a match to a formula.
docstring_tokens: apply a match to a formula .
function: def apply_match_alt(match,fmla,env = None):
      """ apply a match to a formula. 
  
      In effect, substitute all symbols in the match with the
      corresponding lambda terms and apply beta reduction
  
      If present, env is list of symbols bound in the environment.
      Substituting one of these symbols into the formula will be considered
      capture and cause CaptureError to be raised.
  
      """
      freevars = list(match_rhs_vars(match))
      fmla = il.alpha_avoid(fmla,freevars)
      return apply_match_alt_rec(match,fmla,env if env is not None else set())
function_tokens: def apply_match_alt ( match , fmla , env = None ) : freevars = list ( match_rhs_vars ( match ) ) fmla = il . alpha_avoid ( fmla , freevars ) return apply_match_alt_rec ( match , fmla , env if env is not None else set ( ) )