def option_number

bend-lint-pack@0.1.1.0 · vendor/lint.bend:200

import Base

200# An option's value, or `default` when it is not given or of another type.
201def option_number(opts: List<&2, Option>, key: String, default: U32) -> U32:
202  option_number_or(find(opts, key), default)