Globals.Functions.get
Kernel_function.get_return_type
integer_promotion t1 t2
true
t1 < t2
integer_ranking_comp t1 t2
false
replace i v l
l.(i)
v