language.h File Reference

#include <cstdio>
#include <set>
#include <util/symtab/context.h>
#include <util/symtab/namespace.h>

Include dependency graph for language.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	languaget

Enumerations
enum class	presentationt { HUMAN , WITNESS }

Enumeration Type Documentation

presentationt

enum class presentationt

strong

Enumerator
HUMAN
WITNESS