en Standard ML la misma función se escribe