moves file/dir from an old path to a the new path can rename the file/dir as well by changing the name of the old file/dir to a new name in the new_path returns a unit type as outcome in case of success and error in case of failure
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
can rename the file/dir as well by changing the name of the old file/dir to a new name in the new_path
returns a unit type as outcome in case of success and error in case of failure