Function td_list_empty

src/list.h:302–305

* td_list_empty - tests whether a list is empty * @head: the list to test. */ @ @ requires \valid_read(head); @ terminates \true; @ assigns \nothing; @*/

  @ assigns  \nothing;
  @*/
static inline int td_list_empty(const struct td_list_head *head)
{
	return head->next == head;
}

#if 0
/**