is_equal(other:likeCurrent):BOOLEAN-- Are other and current cursor at the same position?-- (From GENERAL.)require
other_not_void: other /=Voidensure
consistent:standard_is_equal(other)impliesResult
same_type:Resultimpliessame_type(other)
symmetric:Resultimplies other.is_equal(Current)