apis 0.5.13

Reactive, session-oriented, asynchronous process-calculus framework
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

use std;
use crate::{session, Process};

// TODO: should there be a conversion constraint between these traits ?

pub trait Global <CTX> where
  CTX  : session::Context <GPRES=Self>,
  Self : Sized + std::fmt::Debug
{}

/// A constraint on process result types.
pub trait Presult <CTX, P> where
  CTX  : session::Context,
  P    : Process <CTX, Self>,
  Self : Clone + Default
{}