HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Join script should rule out retired usernames
[bpt/portal.git]
/
balance.sig
diff --git
a/balance.sig
b/balance.sig
index
e7f9bf5
..
7d47b90
100644
(file)
--- a/
balance.sig
+++ b/
balance.sig
@@
-1,6
+1,6
@@
signature BALANCE =
sig
signature BALANCE =
sig
- type balance = {id :int, name : string, amount : real}
+ type balance = {id :
int, name : string, amount : real}
val addBalance : string -> int
val lookupBalance : int -> balance
val addBalance : string -> int
val lookupBalance : int -> balance
@@
-16,4
+16,7
@@
sig
val balanceNameToId : string -> int option
val sumOwnedBalances : unit -> real
val balanceNameToId : string -> int option
val sumOwnedBalances : unit -> real
+ val isNegative : balance -> bool
+
+ val depositAmount : int -> real
end
end