hxv :: (real ~ "1" field (x(grid), y(half)) on
(i = 1 .. nlon + 1 by j = 0 .. nlat + 1)
)