gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.grammars/rulesClosedUnderSubstitution

rulesClosedUnderSubstitution

gapt.grammars.`package`.rulesClosedUnderSubstitution
object rulesClosedUnderSubstitution extends ClosedUnderSub[Rule]

Attributes

Source
package.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def applySubstitution(sub: Substitution, rule: Rule): Rule

Applies a substitution to an argument.

Applies a substitution to an argument.

Value parameters

arg

The argument.

sub

The substitution.

Attributes

Returns

The result.

Source
package.scala
Generated with