Changeset 21f4dff for doc/theses/jiada_liang_MMath/background.tex
- Timestamp:
- Jul 30, 2024, 11:44:16 PM (6 weeks ago)
- Branches:
- master
- Children:
- 6740533e
- Parents:
- 9476549
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/jiada_liang_MMath/background.tex
r9476549 r21f4dff 371 371 Calling on type with no mathcing @foo()@ implemented, such as int, causes a compile time type assertion error. 372 372 373 \subsection{trait} 373 374 A @forall@ clause can asserts on multiple types and with multiple asserting functions. A common practice in \CFA is to group 374 the asserting functions in to a named @trait@.375 the asserting functions in to a named \newterm{trait}. 375 376 376 377 \begin{cfa}
Note: See TracChangeset
for help on using the changeset viewer.