From 8736fba2ab94cd307905585f81f87d4df9eef3e4 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 1 Dec 2025 09:08:49 +0100 Subject: more checks on shrinking --- pbt/ts/src/bank.ts | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'pbt/ts/src/bank.ts') diff --git a/pbt/ts/src/bank.ts b/pbt/ts/src/bank.ts index bee9dfc..c5adc05 100644 --- a/pbt/ts/src/bank.ts +++ b/pbt/ts/src/bank.ts @@ -5,6 +5,16 @@ export type Account = string; export interface Bank { balance: (account: Account) => Option; + + /// Deposit amount into account + /// + /// This function increases the balance of the given account by the + /// specified amount. It's a `void` function hence implicitly + /// stateful: It's expected to change some internal state of the + /// implementing class. + /// + /// @param account The account to deposit into + /// @param amt The amount to deposit deposit: (account: Account, amt: number) => void; withdraw: (account: Account, amt: number) => void; } -- cgit v1.3.1