these-jcb/code/gomPeanoSimple.tex

\begin{gomcode1}[label=code:gomPeanoSimple,caption=Signature algébrique Gom pour les entiers de Peano.]
module Peano
abstract syntax

Nat = zero()
    | suc(n:Nat)
\end{gomcode1}