libsesstype  2.0.0
Library for Session Types programming.
util.h File Reference

Utilities for working with Parameterised Session Types. More...

#include "sesstype/parameterised/util/expr_apply.h"
#include "sesstype/parameterised/util/expr_eval.h"
#include "sesstype/parameterised/util/expr_invert.h"
#include "sesstype/parameterised/util/print.h"
#include "sesstype/parameterised/util/project.h"
Include dependency graph for parameterised/util.h:

Go to the source code of this file.

Detailed Description

Utilities for working with Parameterised Session Types.

 All Classes Namespaces Files Functions
Generated by   doxygen 1.7.6.1