2018-09-02 13:36:09 +03:00
|
|
|
|
procedure F() := exit;
|
|
|
|
|
|
|
|
|
|
|
|
begin
|
2018-10-01 21:26:42 +03:00
|
|
|
|
var a{var a: (procedure,procedure);} := Rec(procedure() -> exit, procedure() -> exit); // (T1, T2)
|
|
|
|
|
|
var b{var b: (procedure,procedure);} := Rec(F, F);
|
2018-09-02 13:36:09 +03:00
|
|
|
|
end.
|
