void function ( Cuenta arg0 ) { ValorSesion . arg0 = arg0 ; }
pre : cierto post : establece la cuenta actual a `` cuenta '' , que puede ser null . concode_field_sep Cuenta cuenta concode_field_sep Cuenta getCuenta