SubstitutionFromMap
gapt.expr.SubstitutionFromMap
Trait that captures the creation of a substitution from a map of variables to terms
Attributes
- Source
- Extensions.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
In this article