MCPcopy Index your code
hub / github.com/Munksgaard/session-types

github.com/Munksgaard/session-types @main

Chat with this repo
repository ↗ · DeepWiki ↗ · + Follow
119 symbols 399 edges 19 files 16 documented · 13%
What it actually does AI analysis from the code graph — generated when you open this
loading…

Extension points exported contracts — how you extend this code

HasDual (Interface)
The HasDual trait defines the dual relationship between protocols. Any valid protocol has a corresponding dual. This t [9 …
src/lib.rs
Sealed (Interface)
(no doc) [7 implementers]
src/lib.rs

Core symbols most depended-on inside this repo

close
called by 53
src/lib.rs
send
called by 43
src/lib.rs
sel2
called by 43
src/lib.rs
recv
called by 27
src/lib.rs
sel1
called by 26
src/lib.rs
zero
called by 26
src/lib.rs
session_channel
called by 24
src/lib.rs
enter
called by 20
src/lib.rs

Shape

Function 74
Method 28
Class 14
Interface 2
Enum 1

Languages

Rust100%

Modules by API surface

src/lib.rs48 symbols
examples/planeclip.rs13 symbols
examples/arithmetic.rs9 symbols
tests/drop_server.rs8 symbols
examples/atm.rs5 symbols
tests/chan_select.rs4 symbols
examples/many-clients.rs4 symbols
tests/compile-fail/send-on-recv.rs3 symbols
examples/try-offer.rs3 symbols
examples/generic.rs3 symbols
examples/echo-server.rs3 symbols
examples/connect.rs3 symbols

For agents

$ claude mcp add session-types \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact