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

#### Search

From here you can search these documents. Enter your search terms below.