The representation of the proof term variable/axiom in Term. More...
#include <checker.h>
The representation of the proof term variable/axiom in Term.