Generated with

gapt/gapt/gapt.proofs/gapt.proofs.expansion/replaceWithContext

replaceWithContext

gapt.proofs.expansion.replaceWithContext

object replaceWithContext

Replaces terms in an expansion tree according to a replacement context.

Attributes

Source: positions.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: replaceWithContext.type

Members list

Value members

Concrete methods

Value parameters

et: An expansion tree.
exp: The term to insert for x.
replacementContext: A replacement context, i.e. a lambda expression of the form λx.E.

Attributes

Returns: A new expansion tree where x has been replaced with exp in every node.
Source: positions.scala

In this article

Generated with