DEFINITION MODULE AdvTreasure ;
FROM AdvMap IMPORT TreasureKind ;
EXPORT QUALIFIED GetTreasure, DropTreasure, UseTreasure,
                 Grenade, DisplayEnemy, ScatterTreasures,
                 RespawnTreasure, RespawnArrow ;
PROCEDURE GetTreasure ;
PROCEDURE DropTreasure ;
PROCEDURE UseTreasure ;
PROCEDURE Grenade ;
PROCEDURE DisplayEnemy ;
PROCEDURE ScatterTreasures (p, r: CARDINAL) ;
PROCEDURE RespawnTreasure (seedRoom: CARDINAL; tno: CARDINAL; ticks: CARDINAL) ;
PROCEDURE RespawnArrow (seedRoom: CARDINAL; tno: CARDINAL;
                        spawnKind, arrowKind: TreasureKind;
                        amount: CARDINAL; ticks: CARDINAL) ;
END AdvTreasure.