Admission.marked: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/admission.bend as Admission
Lines 96-101 of bend-kit-http@0.38.2.0/admission.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/admission.bend&start_line=96&end_line=101

import Base

# Raises each high-water mark to its current count.
def marked(ledger: Ledger) -> Ledger:
  Ledger{Lease{+cp, cg}, Lease{+ap, ag}, Lease{+bp, bg}, marks} = ledger
  Marks{ch, ah, bh, cr, ar, br} = marks
  Ledger{Lease{cp, cg}, Lease{ap, ag}, Lease{bp, bg},
    Marks{U32.max(ch, count(cp)), U32.max(ah, count(ap)), U32.max(bh, count(bp)), cr, ar, br}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.max
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Lease
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Ledger
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Marks
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=count