Skip to content

fix FunctionTermImpl#equals s.t. also subtypes can be equal #620

fix FunctionTermImpl#equals s.t. also subtypes can be equal

fix FunctionTermImpl#equals s.t. also subtypes can be equal #620