cprover
|
Jsil Language. More...
#include "jsil_internal_additions.h"
#include <util/std_types.h>
#include <util/cprover_prefix.h>
#include <util/symbol_table.h>
#include <util/c_types.h>
#include "jsil_types.h"
Go to the source code of this file.
Functions | |
void | jsil_internal_additions (symbol_tablet &dest) |
Jsil Language.
Definition in file jsil_internal_additions.cpp.
void jsil_internal_additions | ( | symbol_tablet & | dest | ) |
Definition at line 22 of file jsil_internal_additions.cpp.