/*****************************************************************************
 *                                                                           *
 *      1. The Specification                                                 *
 *                                                                           *
 *****************************************************************************/

TYPE
        BAMS = AccId -> Account;
        Account :: H: AccHolder-set
                   B: Amount;
        AccId   = STR;
        AccHolder = STR;
        Amount  = INT;
;       Void    = SYM;

ENDTYPE

STATE bams: BAMS;