type Ledger

bend-kit-camber@0.15.0.1 · camber.bend:181

import Base
import bend-kit-resources@0.1.0.0/resources.bend as Res

181# Every lent resource holds one pool unit, and all lent units join in one grant.
182type Ledger is Type:
183  Ledger{pool: Res.Pool, lent: Res.Grant, completed: Nat, rejected: Nat}