def taken.push

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

import Base

394def taken.push(t: Taken, a: Attr) -> Taken:
395  Taken{v, rest} = t
396  Taken{v, Con{a, rest}}
397
398@unsafe