import Array.Funs