What do functions prod, cast and shape from keras.backend?

Question

I have not found a description of how any function works in the official documentation. More specifically, I\'m interested in how the processing of the tensor x