def rename
import bend-kit-files@0.3.1.0/files.bend as Filesimport Base
159def rename(from: String, to: String) ->
160 IO(Result<&1, &1, U32 & String, Unit>):
161 import "./effs/files.c"
162 import "./effs/files.js"
import bend-kit-files@0.3.1.0/files.bend as Filesimport Base
159def rename(from: String, to: String) ->
160 IO(Result<&1, &1, U32 & String, Unit>):
161 import "./effs/files.c"
162 import "./effs/files.js"