Trait tables are mapping (#109)

GabrielDosReis · GabrielDosReis · commit ab57daa30f08 · 2023-09-02T11:53:29.000-07:00
Fixes #107
diff --git a/ltx/traits.tex b/ltx/traits.tex
@@ -17,7 +17,8 @@
 \end{figure}
 %
 where the \field{decl} field is an abstract reference designating the entity, and the \field{trait} designates the property associated with the entity.
-The entries in a trait table are stored by increasing values of the \field{decl} field.
+The entries in a trait table are stored by increasing values of the \field{decl} field.  There is at most one entry for a given \field{decl} per trait
+table.  Note however that some \field{trait} may be tuples of sort \type{T} when there are conceptually multiple traits associated with a \field{decl}.
 
 \section{Deprecation texts}
 \label{sec:ifc-deprecated-trait}

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,8 @@`
`17`	`17`	`\end{figure}`
`18`	`18`	`%`
`19`	`19`	`where the \field{decl} field is an abstract reference designating the entity, and the \field{trait} designates the property associated with the entity.`
`20`		`-The entries in a trait table are stored by increasing values of the \field{decl} field.`
	`20`	`+The entries in a trait table are stored by increasing values of the \field{decl} field. There is at most one entry for a given \field{decl} per trait`
	`21`	`+table. Note however that some \field{trait} may be tuples of sort \type{T} when there are conceptually multiple traits associated with a \field{decl}.`
`21`	`22`
`22`	`23`	`\section{Deprecation texts}`
`23`	`24`	`\label{sec:ifc-deprecated-trait}`