Index of types

B
binop [Ast]
C
constant [Ast]
D
def [Ast]
E
expr [Ast]
F
file [Ast]
fn [Ast]

Similarly, all the occurrences of a given function all point to a single record of the following type.

I
ident [Ast]
L
location [Ast]
S
stmt [Ast]
T
tdef [Ast]
texpr [Ast]
tfile [Ast]

the block of global statements is now a `main` function

tstmt [Ast]
U
unop [Ast]
V
var [Ast]

In the typed trees, all the occurrences of the same variable point to a single record of the following type.