@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.