mcrl2/process/is_well_typed.h

Include file:

#include "mcrl2/process/is_well_typed.h"

add your file description here.

Functions

bool mcrl2::process::is_well_typed(const process_specification &procspec)

Returns true if the process specification is well typed. N.B. The check is very incomplete!