def spec.num
import cswap-bend-cli@0.1.0.0/settings.bend as Settingsimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
305def spec.num(key: String, kind: Sort, lo: String, hi: String, dflt: String) -> Spec:
306 Spec{"autoswitch", key, kind, lo, hi, "", Json.JNum{dflt}}