Interface for qBeta module object
Functional: obj
-- %include LIB.Containers.List
IntToIntFunction:
in i: var integer
out r: var integer
Fib: IntToIntFunction
Square: IntToIntFunction
TwoFuncPlus:
f1:< IntToIntFunction
f2:< IntToIntFunction
in i: var integer
out r: var integer
IInteger:
in v: var integer
IntegerList:
in head: ref IInteger
in tail: ref IntegerList
empty:
out b: var boolean
first:
out r: ref IInteger
second:
out r: ref IInteger
add:
in r: ref IInteger
scan:
current: ref IInteger
L: ref IntegerList
loop:
print:
length:
out len: var integer
il: ref IntegerList
ril: ref IntegerList
MapList:
f:< IntToIntFunction
in il: ref IntegerList
out r: ref IntegerList