11.3.237 update_mutable/2

Synopsis

update_mutable(+Datum, +Mutable)

Updates the current value of the mutable term Mutable to become Datum.

Arguments

Datum

term, must be nonvar

Mutable

mutable, must be nonvar

Exceptions

instantiation_error

Datum or Mutable is uninstantiated.

type_error

Mutable is not a mutable.

See Also

ref-lte-mut.