these-jcb/code/typetermIndividuList.tex

\begin{tomcode3}[label=code:typetermIndividuList,caption=Ancrage du type IndividuList avec l'implémentation Java JIndividuList]
  %typeterm IndividuList {
    implement     { JIndividuList }
    is_sort(s)    { (s instanceof JIndividuList) }
    equals(t1,t2) { (t1.equals(t2)) }
  }
\end{tomcode3}