Settings.exp.cap: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings Lines 112-115 of cswap-bend-cli@0.1.0.0/settings.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&start_line=112&end_line=115 import Base # The exponent digits as a Nat, capped at 400 (beyond that the value clamps # or vanishes the same way). def exp.cap(+d: String) -> Nat: exp.cap2(sel.s(Nat.is_gt(String.length(d), 3n), "400", d)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt 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=cswap-bend-cli@0.1.0.0/settings.bend&name=exp.cap2 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=sel.s