The term {tt (logand $tau_1 ldots tau_n$)} denotes the bit-wise logical and of the objects denoted by $tau_1$ through $tau_n$.
(Undefined (Arity Logand))