libsesstype  2.0.0
Library for Session Types programming.
Classes | Namespaces | Typedefs | Functions
import.h File Reference

Protocol or Module imports. More...

#include <string>
Include dependency graph for import.h:
This graph shows which files directly or indirectly include this file:

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)

Detailed Description

Protocol or Module imports.

 All Classes Namespaces Files Functions