InutitionTC  0.30
Data Fields
Tor Struct Reference

The representation of the disjunction Type. More...

#include <checker.h>

Data Fields

Typetype1
 
Typetype2
 

Detailed Description

The representation of the disjunction Type.


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