binary_tagged_reference Struct Reference

#include <watch.h>

Public Attributes
bool	binary: 1
unsigned	ref: 31

Detailed Description

Definition at line 31 of file watch.h.

Member Data Documentation

binary

bool binary_tagged_reference::binary

Definition at line 33 of file watch.h.

ref

unsigned binary_tagged_reference::ref

Definition at line 34 of file watch.h.

---

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

• src/sat/kissat/watch.h