package lsp

Mailbox variables

A mailbox variable can be thought of as a box that is either empty or full. create () creates a new empty box, and create_full x creates a new full box containing x.

read removes the value from a full mailbox variable and returns it, but blocks if the mvar is currently empty. Symmetrically, write puts a value into the mvar but blocks if the mvar is already full.