Clock.at: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/clock.bend as Clock Lines 102-104 of cswap-bend-cli@0.1.0.0/clock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&start_line=102&end_line=104 import Base # True when the char at `i` is `a` or `b`. def at(+s: String, i: Nat, a: Char, b: Char) -> Bool: at.pick(String.get(s, i), a, b) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.get https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=at.pick