Ignore:
Timestamp:
Jul 30, 2024, 11:44:16 PM (6 weeks ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
6740533e
Parents:
9476549
Message:

Add motivation for trait

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/jiada_liang_MMath/background.tex

    r9476549 r21f4dff  
    371371Calling on type with no mathcing @foo()@ implemented, such as int, causes a compile time type assertion error.
    372372
     373\subsection{trait}
    373374A @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@ .
     375the asserting functions in to a named \newterm{trait}.
    375376
    376377\begin{cfa}
Note: See TracChangeset for help on using the changeset viewer.