Interface for qBeta module object
: obj
%globals
X: var integer
record: value -- here we are
A: var char
B: var char
R: var record
P_status: obj -- globals comment
%globals
Q: var char
W: var char
ppPtn:
-- [hello]
in x: var integer
get:
X: var integer
-- get
loop: obj
--inloop
xPtn:
--- xPtn comment line 1
--- xPtn comment line 2
xVirt:< -- the virtual
xxPtn: xPtn
xVirt:: -- the binding
<=:
in S: ref string
out B: var boolean
loop: obj
-- "Hello" <= "World" since H <= W
-- "Qweabc" <= "Qwevwxy" since a <= e
-- "Qweayc" <= "Qwexby"
-- "Qwe" <= "Qwerty"
gogo: