~/jendhub

def exists.of

cswap-bend-cli@0.1.0.0 · fs.bend:85

import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import Base

85def exists.of(r: Result<&1, &1, U32 & String, U32 & (String & String)>) -> Bool:
86  match r:
87    case Fail{e}:
88      False{}
89    case Done{(+status, rest)}:
90      U32.is_eq(status, 0)

Uses (7)

Used by (1)