these-jcb/code/typetermIndividu.tex

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