clear()

Clears a variable by removing it.

Data signatures
clear( var name: $${\color{green}str}$$ )
clear( var: $${\color{green}None}$$ ǁ $${\color{green}Any}$$ )

Call signatures
clear( var name: Term )
clear( var: Variable )

Purpose	Value
Main focus	clear() is a side-effect

Context	Qualifier
Match qualifiers	onmatch
Value qualifiers	onmatch

[Back to index]