Previous  Up  

Module Model_intf.S.Event

module Event: module type of Events.Event
The module type representing one event