links

The Links Programming Language
IN THIS PACKAGE
Module type Links_core . Proc . MAILBOX
val pop_message_for : ProcessTypes.process_id -> Value.t option
val pop_all_messages_for : ProcessTypes.client_id -> ProcessTypes.process_id -> Value.t list
val pop_message : unit -> Value.t option
val send_client_message : Value.t -> ProcessTypes.client_id -> ProcessTypes.process_id -> unit Lwt.t
val send_server_message : Value.t -> ProcessTypes.process_id -> unit