-
Notifications
You must be signed in to change notification settings - Fork 5
equality
Norbert Preining edited this page Oct 6, 2017
·
1 revision
The predicate ==
is a binary operator defined for each visible sort
and is defined in terms of evaluation. That is, for ground terms t
and t'
of the same sort, t == t'
evaluates to true
iff terms
reduce to a common term. This is different from the equational =
which specifies the equality of the theory.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team