'1'} FUNCTION Fun

72 . Example fun

FUNCTION funManipulate : [...] . fun [...] code fun

1 is addressed by Lib0.Lib1.fun : ivar := Lib0.Lib1.fun

_VAR FUNCTION Fun : INT VAR

: fun(formal1 := [...] fun(formal2 := [...] as the following line: fun

. The function fun [...] '} FUNCTION fun1 : INT VAR [...] 2 : FUNCTION fun1 :

Tester := tryFun

: INT := x + fun