Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
::
tau
brief The value tau
operator=
brief Default constructor.
brief Constructor. param term A term
Move semantics.
mcrl2::process::sync
mcrl2::process::untyped_multi_action