@map(f:function, t:tab)

returns a tab such that element i is the result of applying f to element t[i]. Note that the computation is equivalent to
       [f($x) |$x in t]

Note that function @map is relatd to tab, not to map: see @map_compose and @map_concat for map related functions.