Module BankSource

Sourcetype t
Sourceval lookup : t -> Rowex.key -> int
Sourceval insert : t -> Rowex.key -> int -> unit
Sourceval exists : t -> Rowex.key -> bool
Sourceval remove : t -> Rowex.key -> unit
Sourceval make : unit -> t