mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation

mpstthree

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 27 feature flags, 1 of them enabled by default.

default

    This feature flag does not enable additional features.

full

  • baking_checking
  • transport
  • baking_atmp
  • interleaved

full_without_checking

  • baking
  • transport
  • interleaved

top_down_nuscr

  • default
  • regex
  • once_cell

checking

  • mpst
  • regex
  • petgraph

baking_checking

  • baking
  • checking

affine_atmp

  • baking
  • baking_atmp

baking_atmp_interleaved

  • baking_atmp
  • interleaved

baking_interleaved

  • baking
  • interleaved

macros_multiple

  • mpst
  • macros_simple

transport

  • transport_tcp
  • transport_udp

transport_macros_multiple

  • macros_multiple
  • transport

baking_atmp

  • binary_atmp
  • mpst

baking

  • mpst
  • macros_multiple

once_cell

  • dep:once_cell

binary_atmp

  • default

hyper

  • dep:hyper

interleaved

  • baking

hyper-tls

  • dep:hyper-tls

petgraph

  • dep:petgraph

tokio

  • dep:tokio

macros_simple

  • mpst

mpst

  • default

regex

  • dep:regex

transport_udp

  • default

transport_tcp

  • default

protobuf_feature

    This feature flag does not enable additional features.