val listUsers : int -> (bool * Init.user) list
(* List users and indicate whether they participated in a transaction *)
+ val lookupHostingUsage : int -> string option
+
type charge = {trn : int, usr : int, amount : real}
val addCharge : charge -> unit
type hosting = {trn : int, cutoff : int, cost : real, usage : string}
val addHostingCharges : hosting -> unit
-end
\ No newline at end of file
+
+ val equalizeBalances : unit -> unit
+
+ val costBase : real -> real
+end