DEBSOURCES
Skip Quicknav
sources / storm-lang / 0.7.4-1 / Compiler / Init.h
1234567891011
#pragma once #include "World.h" namespace storm { /** * Initialize the type system. */ void initTypes(Engine &e, World &world); }