#include <cprover.h>
Definition at line 123 of file cprover.h.
§ data
char __CPROVER_pipet::data[4] |
§ next_avail
short __CPROVER_pipet::next_avail |
§ next_unread
short __CPROVER_pipet::next_unread |
§ widowed
_Bool __CPROVER_pipet::widowed |
The documentation for this struct was generated from the following file: