def ezsys.rename

ezsys@0.1.0.0 · src/sys.bend:12

import ezsys@0.1.0.0/src/sys.bend as Sys
import 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"

Uses (6)

Used by (1)