export function bitand<T extends UVec>(l: Term<T>, r: UintTerm | number): Term<T>;