normed and functional libft