Cliops.import_report: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops Lines 300-303 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=300&end_line=303 import Base import cswap-bend-cli@0.1.0.0/urec.bend as Urec import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd def import_report(+rs: List<&2, Urec.Reading>, +skipped: U32, hold: Maybe<&2, U32>, ar: Urec.AR) -> Cmd.Out: match ar: case Urec.AR{rows, +adopted, kept}: Cmd.Out{0, "", adopt_lines(rs, adopted) ++ summary(List.length(&2, String, adopted), List.length(&2, String, kept), skipped, hold, Bool.not(List.is_empty(&2, Urec.Reading, rs))) ++ "\n"} Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=adopt_lines https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=summary https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=AR https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=Reading