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

sort
Void = struct void;

act
declarative_illegal;
illegal;
missing_reply;
range_error;
recurse;
return;
second_reply;
tau_void;

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

#x:model

%% version: #x:version
