Commands.first: def of bend-kit-commands@0.4.0.0 Import: import bend-kit-commands@0.4.0.0/commands.bend as Commands Lines 94-102 of bend-kit-commands@0.4.0.0/commands.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-commands@0.4.0.0/commands.bend&start_line=94&end_line=102 import Base # r's value, unless r or then z failed. def first(-A: Type, r: Result<&1, &1, U32 & String, A>, z: Result<&1, &1, U32 & String, Unit>) -> Result<&1, &1, U32 & String, A>: match r z: case Fail{e} _: Fail{e} case Done{x} Fail{e}: Fail{e} case Done{x} Done{u}: Done{x} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit