Collectrun.login_secs: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun Lines 134-135 of cswap-bend-cli@0.1.0.0/collectrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&start_line=134&end_line=135 import Base import cswap-bend-cli@0.1.0.0/clock.bend as Clock def login_secs(+d: String) -> Maybe<&2, String>: Maybe.bind(&2, U32, String, U32.read(String.take(d, Nat.sub(String.length(d), 3n))), t => Some{Clock.iso8601_utc(t)}) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=iso8601_utc