def ezsys.rename
import ezsys@0.1.0.0/src/sys.bend as Sysimport Base
12# flush `from` to disk, then rename it over `to`
13def ezsys.rename(
14 from: String,
15 to: String
16) -> IO(Result<&1, &1, U32 & String, Unit>):
17 import "./effs/rename.c"
18 import "./effs/rename.js"