let
map_twice_1 =
function
lx
->
(map_to_all (
function
x
->
2 * x)) (lx)