1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

//! Runtime definitions for CERK.
//! The implementations for the declarations could be platform-specific.

pub mod channel;
mod internal_server;
mod scheduler;

pub use self::internal_server::{
    InternalServerFn, InternalServerFnRef, InternalServerFnRefStatic, InternalServerId,
};
pub use self::scheduler::{ScheduleFn, ScheduleFnRefStatic};