-- EventTime.mesa
-- created by Suzuki:   
-- last edited by Suzuki:  

EventTime: DEFINITIONS = {

CurrentTime: PROC RETURNS[Time];

SetCurrentTime: PROC[Time];

Delay: PROC[Amount];

GetWakeUpList

}.