def element.prefer

gralha-xml-doc@0.1.0.1 · xml.bend:320

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

import Base

320def element.prefer(a: Maybe<&2, Element>, b: Maybe<&2, Element>) -> Maybe<&2, Element>:
321  match a:
322    case Some{e}: Some{e}
323    case None{}: b

Uses (2)

Used by (2)