PortChange Type
Record fields
Record Field | Description |
|
|
Full Usage:
Message
Field type: string
|
|
Full Usage:
New
Field type: (string * int) option
|
|
Full Usage:
Old
Field type: (string * int) option
|
|