def opt.val

cswap-bend-cli@0.1.0.0 · args.bend:106

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

106def opt.val(+name: String, os: List<&2, Opt>) -> Maybe<&2, String>:
107  match os:
108    case Nil{}:
109      None{}
110    case Con{Opt{n, v}, t}:
111      opt.pick(String.eq(n, name), v, opt.val(name, t))

Uses (6)

Used by (2)