r3prototyping
/
core.protocols
/
ProtocolStateMachine
/
logic
logic
val
logic
:
ProtocolLogic
<
R
>