add replaced original stores the association of the original and the replaced functions in a project state.
add replaced original
Rewrites the format as its string representation.
Does not use Globals.Functions.get nor Kernel_function.get_return_type.
Globals.Functions.get
Kernel_function.get_return_type
integer_promotion t1 t2 returns true if t1 < t2
integer_promotion t1 t2
true
t1 < t2
integer_ranking_comp t1 t2
Set the boolean to false.
false
Set the boolean to true.
replace i v l returns a new list where l.(i) = v
replace i v l
l.(i)
v
Standard integer types in C99 (Cf.