Sigv4.xml.fin: def of bend-kit-sigv4@0.11.0.1
Import: import bend-kit-sigv4@0.11.0.1/sigv4.bend as Sigv4
Lines 802-804 of bend-kit-sigv4@0.11.0.1/sigv4.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&start_line=802&end_line=804

import Base

def xml.fin(st: St) -> Maybe<&2, List<&2, Leaf>>:
  St{a, x, n, o, k} = st
  xml.if(Bool.and(k, closed(a)), o)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=Leaf
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=closed
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=xml.if