search

lightstep / superposition

Imported from EraDB
MIT License
0 stars 1 forks source link

First implementation of ChoiceSet. #23

Closed rw closed 4 years ago

rw commented 4 years ago

Models a one-way channel.

To model a two-way channel, use two ChoiceSets, one for sending and one for receiving.