copyFrom

open override fun copyFrom(other: TermState)

Copies the content of the given TermState to this instance

Parameters

other

the TermState to copy