public _IPC2_Practica2.ServiceReference1.estudiante[] getEstudiantes(int carnet_operario)
 {
     _IPC2_Practica2.ServiceReference1.getEstudiantesRequest inValue = new _IPC2_Practica2.ServiceReference1.getEstudiantesRequest();
     inValue.carnet_operario = carnet_operario;
     _IPC2_Practica2.ServiceReference1.getEstudiantesResponse retVal = ((_IPC2_Practica2.ServiceReference1.API)(this)).getEstudiantes(inValue);
     return(retVal.@return);
 }
 public System.Threading.Tasks.Task <_IPC2_Practica2.ServiceReference1.getEstudiantesResponse> getEstudiantesAsync(int carnet_operario)
 {
     _IPC2_Practica2.ServiceReference1.getEstudiantesRequest inValue = new _IPC2_Practica2.ServiceReference1.getEstudiantesRequest();
     inValue.carnet_operario = carnet_operario;
     return(((_IPC2_Practica2.ServiceReference1.API)(this)).getEstudiantesAsync(inValue));
 }
 System.Threading.Tasks.Task <_IPC2_Practica2.ServiceReference1.getEstudiantesResponse> _IPC2_Practica2.ServiceReference1.API.getEstudiantesAsync(_IPC2_Practica2.ServiceReference1.getEstudiantesRequest request)
 {
     return(base.Channel.getEstudiantesAsync(request));
 }
 _IPC2_Practica2.ServiceReference1.getEstudiantesResponse _IPC2_Practica2.ServiceReference1.API.getEstudiantes(_IPC2_Practica2.ServiceReference1.getEstudiantesRequest request)
 {
     return(base.Channel.getEstudiantes(request));
 }