compareTo

open operator override fun compareTo(other: Term): Int

Compares this term to the provided one, returning a positive integer if this term precedes other, a negative integer if other precedes this term, or 0 otherwise

Return

an Int indicating whether this term precedes other or not

Parameters

other

is the term to be compared against this term