Ylex.token_len.q: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/fmt/ylex.bend as Ylex
Lines 225-226 of cswap-bend-cli@0.1.0.0/fmt/ylex.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/fmt/ylex.bend&start_line=225&end_line=226

import Base

def token_len.q(+s: String, +c: U32) -> Maybe<&2, Nat>:
  tl.pick(U32.is_eq(c, 34), U32.is_eq(c, 39), tl.plus(dq.end(String.drop(s, 1n), 0n, False{})), tl.plus(sq.end(String.drop(s, 1n), 0n, False{})))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/ylex.bend&name=dq.end
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/ylex.bend&name=sq.end
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/ylex.bend&name=tl.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/ylex.bend&name=tl.plus