~/jendhub

def exp.cap

cswap-bend-cli@0.1.0.0 · settings.bend:112

import cswap-bend-cli@0.1.0.0/settings.bend as Settings
import Base

112# The exponent digits as a Nat, capped at 400 (beyond that the value clamps
113# or vanishes the same way).
114def exp.cap(+d: String) -> Nat:
115  exp.cap2(sel.s(Nat.is_gt(String.length(d), 3n), "400", d))

Uses (6)

Used by (1)