code: def forall(self, vars_list: List[str]) -> 'TensorFluent':
          '''Returns the TensorFluent for the forall aggregation function.
  
          Args:
              vars_list: The list of variables to be aggregated over.
  
          Returns:
              A TensorFluent wrapping the forall aggregation function.
          '''
          return self._aggregation_op(tf.reduce_all, self, vars_listf forall(self, vars_list: List[str]) -> 'TensorFluent':
          '''Returns the TensorFluent for the forall aggregation function.
  
          Args:
              vars_list: The list of variables to be aggregated over.
  
          Returns:
              A TensorFluent wrapping the forall aggregation function.
          '''
          return self._aggregation_op(tf.reduce_all, self, vars_list)
docs: Returns the TensorFluent for the forall aggregation function.
  
          Args:
              vars_list: The list of variables to be aggregated over.
  
          Returns:
              A TensorFluent wrapping the forall aggregation function.