Event<'a, 's> Type
An event used by the event system.
Record fields
| Record Field | Description |
|
|
Full Usage:
Data
Field type: 'a
|
|
|
|
Full Usage:
Subscriber
Field type: 's
|
|
|
|
Static members
| Static member | Description |
|
|
Full Usage:
Event.make data subscriber publisher address trace
Parameters:
't
subscriber : 'x
publisher : Simulant
address : 't Address
trace : EventTrace
Returns: Event<'t, 'x>
|
|
|
Nu