arteria.core
Provides evidence that a message of type M (or any of its descendants) is valid for protocol P
M
P
Message type
Protocol type
Provides evidence that a message of type
M
(or any of its descendants) is valid for protocolP
Message type
Protocol type