def attr.pick

import gralha-xml-doc@0.1.0.1/xml.bend as Xml

import Base

284def attr.pick(hit: Bool, +v: String, rest: Maybe<&2, String>) -> Maybe<&2, String>:
285  match hit:
286    case True{}: Some{v}
287    case False{}: rest

Uses (3)

Bool
String
Maybe

Used by (0)

No other definition uses this definition.