TAD: nombre

    Descripción: ........................
 

    Operaciones:
 
 

•        signatura        ->    información sintáctica
            Pre-Condición:    Debe cumplirla el programador usuario
            Post-Condición:   Si a la entrada se cumplía la Pre-Condición, a la salida se cumplirá la Post-Condición
 
 
 
 
•     int member ( int ele)
            requer.:
            modifica:
            efecto:
 
• ...........