Settings.num: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings
Lines 175-179 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=175&end_line=179

import Base

# Python's float() / JSON number text as a decimal: optional sign, digits with
# an optional point, optional exponent; surrounding spaces ignored. Not `inf`
# or `nan` (see `special`).
def num(+s: String) -> Maybe<&2, Dec>:
  num.trimmed(String.trim(s))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=num.trimmed