Ejercicio 10: cargarTanque, con data

Ahora queremos desarrollar una función que tome una cantidad de nafta y un auto, y cargue en su tanque la cantidad de nafta dada. Ejemplo:

> cargarTanque 4 (Auto "ABC123" 20 30)
Auto "ABC123" 24 30

El tanque no puede rebalsar su capacidad; lo que exceda el tamaño del tanque se descarta. Ejemplo:

> cargarTanque 15 (Auto "ABC123" 20 30)
Auto "ABC123" 30 30

Se pide desarrollar y escribir el tipo de cargarTanque asumiendo que ya fue definido el data Auto.

Nota: resolverlo sin emplear guardas

¡Dame una pista!

La función min podría ayudarnos a resolver el problema.

Tenés que iniciar sesión antes de empezar a enviar tus soluciones