- (define-protocol NAME Msg ....)syntax
where Msg is either a parametrized message of the form (Name arg ....) or a parameterless message Name. Defines a protocol, NAME, consisting of a list of messages.
where Msg is either a parametrized message of the form (Name arg ....) or a parameterless message Name. Defines a protocol, NAME, consisting of a list of messages.