setFlag

abstract fun setFlag(name: String, value: Term): SideEffect.SetFlags

Creates a SideEffect.SetFlags.