Previous
Up
Module
Model_intf.S.Event
module
Event:
module type of Events.Event
The module type representing one event