package fiber
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Fiber.MvarSource
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.