#lang play

;;;;
#|  COPIE Y PEGUE SU CODIGO DE LA PREGUNTA DOS   |#
#| LUEGO MODIFIQUELO SIGUIENDO LAS INSTRUCCIONES |#
;;;;


#|

Extensión a la sintaxis concreta del lenguaje:

<fundef> ::= {define {<id> <arg>*} : <type> <expr>} ; como antes
<arg>    ::= {<id> : <type>}        ; como antes
           | {<id> : <type> @ <contract>}  ; lo único nuevo
|#