these-jcb/code/typetermNatList.tex

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