Назначение функций shape, cast, prod из keras.backend

Что делает каждая из следующих функций: keras.backend.shape(), keras.backend.cast(), и keras.backend.prod(). Описание работы ни одной из них в официальной документации не нашел. Если конкретней, то мне нужно узнать, что произойдет после выполнения третьей строки:

from keras import backend as K

some_type = 'float32'
y = K.prod(K.cast(K.shape(x), some_type))

х - значение атрибута output какого-либо слоя модели.