__CPROVER_pipet Struct Reference

#include <cprover.h>

Public Attributes
_Bool	widowed
char	data [4]
short	next_avail
short	next_unread

Detailed Description

Definition at line 39 of file cprover.h.

Member Data Documentation

data

char __CPROVER_pipet::data[4]

Definition at line 41 of file cprover.h.

next_avail

short __CPROVER_pipet::next_avail

Definition at line 42 of file cprover.h.

next_unread

short __CPROVER_pipet::next_unread

Definition at line 43 of file cprover.h.

widowed

_Bool __CPROVER_pipet::widowed

Definition at line 40 of file cprover.h.

---

The documentation for this struct was generated from the following file:

• ansi-c/library/cprover.h