%% Generated by dzn code from #ast:source-file

sort
Void = struct void;

act
constrained_legal;
constrained_legal';
constrained_illegal;
constrained_illegal';
declarative_illegal;
illegal;
missing_reply;
range_error;
recurse;
return;
second_reply;
tag: Nat # Nat;
tau_void;

proc
Illegal = illegal . Illegal;
Constrained_Illegal = constrained_illegal . Constrained_Illegal;
Declarative_Illegal = declarative_illegal . Declarative_Illegal;

#x:model

%% version: #x:version
