=

Symbol of Term.

(Term lhs = const Term rhs) -> Term

Copy constructor for Term.

Parameters

• lhs: Left-hand side value.
• rhs: Term to be copied.