ApplySubst returns the result of applying the given substitution.
(s Subst)
| 939 | |
| 940 | // ApplySubst returns the result of applying the given substitution. |
| 941 | func (v Variable) ApplySubst(s Subst) Term { |
| 942 | return v.ApplySubstBase(s) |
| 943 | } |
| 944 | |
| 945 | // ApplySubstBase returns the result of applying the given substitution. |
| 946 | func (v Variable) ApplySubstBase(s Subst) BaseTerm { |
nothing calls this directly
no test coverage detected