right_shift_op.domain

property right_shift_op.domain

Set of objects on which this operator can be evaluated.