Legend:
Library
Module
Module type
Parameter
Class
Class type
type select_marker =
| Take
(*
use Take to mark a message as selected
*)
| Skip
(*
use Skip to requeue for later consumption
*)
| Drop
(*
use Drop to remove this message while selecting
*)
select_marker is used in a _selective receive_ call to match the exact messages you are looking for. This is useful to skip ahead in your mailbox without having to consume all the messages in it.
type t = ..
t is the type of all messages in a Riot program.
Since this type is extensible, you can make sure different parts of your program can see the constructors that are relevant for them.