definitionReplaceable
gapt.expr.Replaceable.definitionReplaceable
object definitionReplaceable extends ClosedUnderReplacement[Definition]
Attributes
- Source
- TermReplacement.scala
- Graph
-
- Supertypes
- Self type
Members list
In this article