es20


La funzione X? prende in ingresso un predicato y?
     e restituisce un predicato che verifica che
     il predicato y? valga su tutti gli elementi di una lista fornita in input.