1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

pub mod prelude
{
  #[doc(inline)]
  pub use crate::internal::{
    base::public::*,
    functional::*,
    protocol::{
      either,
      public::*,
    },
    session::public::*,
  };
  #[doc(inline)]
  pub use crate::{
    acquire_shared_session,
    case,
    choose,
    cut,
    define_choice,
    include_session,
    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,
    HList,
    Sum,
  };
}

#[doc(inline)]
pub use crate::internal::{
  base::public as base,
  functional,
  protocol::either,
  protocol::public as protocol,
  session::public as session,
};