def counts

bend-kit-http@0.38.2.0 · admission.bend:88

import bend-kit-http@0.38.2.0/admission.bend as Admission

import Base

88def counts(ledger: Ledger) -> Counts & Ledger:
89  Ledger{Lease{+cp, cg}, Lease{+ap, ag}, Lease{+bp, bg}, +marks} = ledger
90  Marks{ch, ah, bh, cr, ar, br} = marks
91  (Counts{count(cp), count(ap), count(bp), ch, ah, bh, cr, ar, br}, Ledger{Lease{cp, cg}, Lease{ap, ag}, Lease{bp, bg}, marks})

Uses (7)

Used by (2)