docs: def prod(self, vars_list: List[str]) -> 'TensorFluent':
          '''Returns the TensorFluent for the prod aggregation function.
  
          Args:
              vars_list: The list of variables to be aggregated over.
  
          Returns:
              A TensorFluent wrapping the prod aggregation function.
          '''
          operand = self
          if operand.dtype == tf.bool:
              operand = operand.cast(tf.float32)
          return self._aggregation_op(tf.reduce_prod, operand, vars_list)