![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
Protocol or Module imports. More...
#include <string>

Go to the source code of this file.
Classes | |
| class | sesstype::Import |
| Import statement. More... | |
Namespaces | |
| namespace | sesstype |
namespace for Session Types. | |
Typedefs | |
| typedef Import | sesstype::st_import |
Functions | |
| st_import * | sesstype::st_import_mk_init (const char *name) |
| st_import * | sesstype::st_import_mk_alias (const char *name, const char *from, const char *as) |
| void | sesstype::st_import_free (st_import *import) |
Protocol or Module imports.
1.7.6.1