In the redesign above, which of the following are requirements that you are placing on this new template type?

a

has operator $()$ that takes two arguments

b

one argument must be compatible with the result of subscripting ArrType

c

the other argument must be compatible with ElemType

d

has operator $()$ that returns a bool

e

has operator $()$ that returns something bool$-$compatible