☰
In ferrite_session
In ferrite_session
Modules
either
internal
macros
prelude
Macros
HList
Sum
acquire_shared_session
case
choose
cut
define_choice
define_choice_enum
define_choice_labels
define_choice_protocol
define_extract_choice
include_session
match_choice
match_choice_value
match_extract
offer_case
offer_choice
receive_channel
receive_channel_from
receive_channels
receive_value
receive_value_from
send_value
send_value_to
terminate
wait
wait_all
?
Macro
ferrite_session
::
case
source
·
[
−
]
macro_rules!
case
{ (
$
chan
:
expr
; $(
$
label
:
path
=>
$
e
:
expr
$(,)
?
)
+
) => { ... }; }