symbol.cpp File Reference

#include "symbol.h"
#include "line_despatch.h"
#include "diagnostic.h"
#include "reference.h"
#include "canonical.h"
#include "contradiction.h"
#include "if_control.h"
#include <algorithm>
#include <cstring>
#include <cassert>

Go to the source code of this file.

Detailed Description

This file implements struct symbol.

Definition in file symbol.cpp.