![]() |
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.