tokens.txt

(
)
.
true
:
false
eq
Z
=>
Ascii
x
_
and
xO
m
|
f
,
forall
Zpos
Some
fun
b
ex
String
Logic
xH
i
Vundef
e
True
match
get
n
p
positive
sp
k
add
Int
le
beta
if
ey
y
Rdiv
Z0
Vint
val
a
orb
negb
id
Val
Mem
ty
r
v
cons
lessdef
ge
ofs
t
or
nil
None
E0
pair
?Goal0
state
s
Ptrofs
tf
e1
expr
e'
v'
?delta
rs
Int64
zero
c
l
False
In
args
snd
ident
sub
m1'
bpow
mul
div
m'
OK
RV
C
PTree
:=
set
a1
Tlong
tge
ls
t1
cs
Vlong
unsigned
xor
Vptr
Vfloat
Many64
load_result
v1
Vsingle
i0
instruction
b1
b2
bc