set

operator fun set(name: String, value: Term): FlagStore

Returns a copy of this store with the flag named name set to value (added, or replacing any previous value).

Returns a copy of this store with notableFlag set to its NotableFlag.defaultValue.

operator fun set(notableFlag: NotableFlag, value: Term): FlagStore

Returns a copy of this store with notableFlag set to value.