Index of values

A
add [Newspeak.Nat]
add_int [Newspeak.Nat]
B
belongs [Newspeak]
bind_var [Newspeak]	`bind_var x t blk` encloses the block `blk` with the declaration of variable `x` of type `t` and then binds all occurances of `x` as a global variable in `blk`.
build [Newspeak]
build_call [Newspeak]	`build_call f ft args` builds the call to function `f` of type `ft` with arguments `args`.
build_gdecl [Newspeak]
build_main_call [Newspeak]	`build_main_call ptr_sz ft params` returns a block of newspeak code to call the main function with parameters `params`.
C
collect_fid_addrof [Newspeak]	returns the list of all function identifiers that are stored as function pointers in the program.
compare [Newspeak.Nat]
contains [Newspeak]
convert_loops [Newspeak]
create_cstr [Newspeak]
D
div [Newspeak.Nat]
domain_of_typ [Newspeak]
dummy_loc [Newspeak]
dump [Newspeak]
dump_fundec [Newspeak]
dump_globals [Newspeak]	`dump_globals glbdecls` prints the global definitions `glbdecls` to standard output.
dump_prog [Newspeak]
E
exp_of_int [Newspeak]
M
max_ikind [Newspeak]
mul [Newspeak.Nat]
mul_int [Newspeak.Nat]
N
neg [Newspeak.Nat]
negate [Newspeak]
normalize_loops [Newspeak]
O
of_big_int [Newspeak.Nat]
of_int [Newspeak.Nat]
of_string [Newspeak.Nat]
one [Newspeak.Nat]
one [Newspeak]
R
read [Newspeak]	`read name` retrieves the list of file names, program and size of pointers from a .npk file.
S
simplify [Newspeak]
simplify_exp [Newspeak]
simplify_gotos [Newspeak]
size_of [Newspeak]
size_of_scalar [Newspeak]
string_of_binop [Newspeak]
string_of_blk [Newspeak]	`string_of_block blk` returns the string representation of block `blk`.
string_of_bounds [Newspeak]	`string_of_bounds r` returns the string representation of range `r`.
string_of_cte [Newspeak]	`string_of_cte c` returns the string representation of constant `c`.
string_of_exp [Newspeak]
string_of_ftyp [Newspeak]
string_of_loc [Newspeak]
string_of_lval [Newspeak]
string_of_scalar [Newspeak]
string_of_stmt [Newspeak]
string_of_typ [Newspeak]
sub [Newspeak.Nat]
T
to_big_int [Newspeak.Nat]
U
unknown_loc [Newspeak]
V
visit [Newspeak]
visit_fun [Newspeak]
visit_glb [Newspeak]
W
write [Newspeak]
write_fun [Newspeak]
write_hdr [Newspeak]
Z
zero [Newspeak.Nat]
zero [Newspeak]
zero_f [Newspeak]