def ledger.open
import bend-kit-http@0.38.2.0/admission.bend as Admissionimport Base
45def ledger.open(caps: Caps) -> Ledger:
46 Caps{cc, ac, bc} = caps
47 Ledger{lease.open(0n, cc), lease.open(1n, ac), lease.open(2n, bc), Marks{0, 0, 0, 0n, 0n, 0n}}