This member is added by an implicit conversion from TypedSubstitution to
ArrowAssoc[TypedSubstitution] performed by method any2ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from TypedSubstitution to
ArrowAssoc[TypedSubstitution] performed by method any2ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from TypedSubstitution to
ArrowAssoc[TypedSubstitution] performed by method any2ArrowAssoc in scala.Predef.