types

BAMS = map AccId to Account; 
 
 Account :: H: set of AccHolder 
            B: Amount; 

 AccId = seq of char; 
 
 AccHolder = seq of char; 

 Amount = int