Changeset 92a0ee8 for doc/theses/jiada_liang_MMath/trait.tex

Timestamp:

Aug 7, 2024, 7:07:24 PM (2 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

b0069a3

Parents:

4e09af2

Message:

Small thesis unpdate

File:

• doc/theses/jiada_liang_MMath/trait.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/trait.tex

@@ -164 +164 @@
 \end{cfa}
 Function @fromInstance@ projects a @Bounded@ member to a number and @fromInt@ is the inverse.
-Function @pred@ takes an enumerator and returns the previous enumerator, if there is one, in sequential order, and @succ@ returns the next enumerator.
+Function @pred@ and @succ@ are advancement functions:
+@pred@ takes an enumerator and returns the previous enumerator, if there is one, in sequential order, and @succ@ returns the next enumerator.
 \begin{cfa}
 sout | fromInstance( Wed ) | fromInt( 2 ) | succ( Wed ) | pred( Wed );