quint
quint copied to clipboard
Support removing definitions in REPL
@andrey-kuprianov had a great suggestion for extending .clear
with the following logic:
...it would be nice to have .clear [def] i.e. the possibility to provide an optional 1 definition to clear; otherwise clear everything
I'd rather just support shadowing.