remove builtin
remove(path)
Removes a file; host effect, rejected by `--check`.
| Phase | tt |
|---|
Example
@tt
remove("build/old.txt")remove builtinremove(path)
Removes a file; host effect, rejected by `--check`.
| Phase | tt |
|---|
@tt
remove("build/old.txt")