From ab57daa30f08e533157210c5ebc14d473342f52f Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Sat, 2 Sep 2023 11:52:39 -0700 Subject: [PATCH] Trait tables are mapping (#109) Fixes #107 --- ltx/traits.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ltx/traits.tex b/ltx/traits.tex index 0bab5da..0845293 100644 --- 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}