Modules§
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