~/jendhub

def mv_keep

cswap-bend-cli@0.1.0.0 · store/io.bend:143

import cswap-bend-cli@0.1.0.0/store/io.bend as Io
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/act.bend as Act

143def mv_keep(+src: String, +dst: String) -> Act.of(Unit):
144  do ActM<Unit>:
145    ex : Bool <- Act.lift(Bool, Fs.exists(src))
146    mv_keep2(ex, src, dst)

Uses (9)

Used by (1)