plus

fun plus(name: String, value: Term): FlagStore

Same as set, as a regularly-named method rather than an operator.


operator fun plus(flagValue: Pair<String, Term>): FlagStore

Returns a copy of this store with the flag named flagValue's first component set to its second component.


operator fun plus(notableFlagValue: NotableFlag): FlagStore

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


operator fun plus(flags: Map<String, Term>): FlagStore

Returns a copy of this store with every entry of flags set (added, or overriding existing ones).