cprover
jsil_internal_additions.cpp File Reference

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"
+ Include dependency graph for jsil_internal_additions.cpp:

Go to the source code of this file.

Functions

void jsil_internal_additions (symbol_tablet &dest)
 

Detailed Description

Jsil Language.

Definition in file jsil_internal_additions.cpp.

Function Documentation

◆ jsil_internal_additions()

void jsil_internal_additions ( symbol_tablet dest)

Definition at line 22 of file jsil_internal_additions.cpp.