apply

open override fun apply(substitution: Substitution): Term

open override fun apply(substitution: Substitution, vararg substitutions: Substitution): Term