Operator

Add, Add, Add, And, And, And, And, And, BinaryOperator, BinaryOperatorWidthableInputs, Cat, Changed, ConstantOperator, ConstantOperatorWidthableInputs, Div, Div, Div, Equal, Equal, Equal, Equal, Equal, Equal, Fell, IsUnknown, Minus, Mod, Mod, Mod, Mul, Mul, Mul, Not, Not, Not, Not, NotEqual, NotEqual, NotEqual, NotEqual, NotEqual, NotEqual, Or, Or, Or, Or, Or, Past, PastBits, PastBitvector, PastBool, PastEnum, PastSInt, PastUInt, Rose, ShiftLeftByInt, ShiftLeftByInt, ShiftLeftByInt, ShiftLeftByInt, ShiftLeftByIntFixedWidth, ShiftLeftByIntFixedWidth, ShiftLeftByIntFixedWidth, ShiftLeftByIntFixedWidth, ShiftLeftByUInt, ShiftLeftByUInt, ShiftLeftByUInt, ShiftLeftByUInt, ShiftLeftByUIntFixedWidth, ShiftLeftByUIntFixedWidth, ShiftLeftByUIntFixedWidth, ShiftLeftByUIntFixedWidth, ShiftRightByInt, ShiftRightByInt, ShiftRightByInt, ShiftRightByInt, ShiftRightByIntFixedWidth, ShiftRightByIntFixedWidth, ShiftRightByIntFixedWidth, ShiftRightByIntFixedWidth, ShiftRightByUInt, ShiftRightByUInt, ShiftRightByUInt, ShiftRightByUInt, Smaller, Smaller, SmallerOrEqual, SmallerOrEqual, Stable, Sub, Sub, Sub, UnaryOperator, UnaryOperatorWidthableInputs, Xor, Xor, Xor, Xor, Xor, andR, orR, xorR