libsesstype: util.h Source File

libsesstype 2.0.0

Library for Session Types programming.

File List

00001 
00005 #ifndef SESSTYPE__PARAMETERISED__UTIL_H__
00006 #define SESSTYPE__PARAMETERISED__UTIL_H__
00007 
00008 #include "sesstype/parameterised/util/expr_apply.h"
00009 #include "sesstype/parameterised/util/expr_eval.h"
00010 #include "sesstype/parameterised/util/expr_invert.h"
00011 #include "sesstype/parameterised/util/print.h"
00012 #include "sesstype/parameterised/util/project.h"
00013 
00014 #endif//SESSTYPE__PARAMETERISED__UTIL_H__