Trait tables are mapping (#109)

Fixes #107
microsoft · Sep 2, 2023 · 88e4192 · 88e4192
1 parent 54df45a
commit 88e4192
Showing 1 changed file with 2 additions and 1 deletion.
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}