v0.1-M1/chi/reference-manual/rail_diagrams/receive_statement.tex

% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
\begin{rail}
ReceiveStatement : ChannelExpression RECEIVETK ( () | Addressable ) ;
\end{rail}