def tool.unit

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

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

import Base

32def tool.unit(r: Res(String)) -> Res(Unit):
33  match r:
34    case Fail{e}:
35      Fail{e}
36    case Done{out}:
37      Done{Unit{}}

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/fs:tool_unit