Redirecting to ../../../alga/general/trait.Operator.html...