resetFlags

abstract fun resetFlags(vararg flags: Pair<String, Term>): SideEffect.ResetFlags

Creates a SideEffect.ResetFlags.