~/jendhub

def option_text_or

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

import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import Base

218def option_text_or(m: Maybe<&2, Value>, default: String) -> String:
219  match m:
220    case Some{OptionText{t}}:
221      t
222    case Some{OptionNum{n}}:
223      default
224    case Some{OptionFlag{b}}:
225      default
226    case None{}:
227      default

Uses (3)

Used by (1)