@dump(file:string, id_1:string, v_1:value, ..., id_p:string, v_p:value)
save in file
the value v_i
under the name id_i
. Then file
can be
used by the function @loadvar to define and set or to reset the
variable with identifier id_i
. The format used in file
is a text
format corresponding to the Antescofo grammar.
The number of argument is variable, so this function cannot be curryfied.
Dumping the values of the variables is done in a separate thread, so the “main” computation is not perturbed. However, it means that the file is created asynchronously with the function call and when the function returns, the file may not be completed.
See also @dump, @savevalue and @loadvalue.