package containers

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a chan
type process = private
  1. | Parallel : process list -> process
  2. | Sum : transition list -> process
  3. | Replicate : process -> process
  4. | New : ('a chan -> process) -> process
  5. | Escape : (unit -> process) -> process
  6. | Stop : process
and !'a1 __transition =
  1. | Receive : 'a chan * ('a -> process) -> 'a __transition
  2. | Send : 'a0 chan * 'a0 * process -> 'a0 __transition
and transition =
  1. | Transition : 'a __transition -> transition
val parallel : process list -> process
val sum : transition list -> process
val replicate : process -> process
val new_ : ('a chan -> process) -> process
val escape : (unit -> process) -> process
val stop : process
val send : 'a chan -> 'a -> process -> transition
val receive : 'a chan -> ('a -> process) -> transition
val send_one : 'a chan -> 'a -> process -> process
val receive_one : 'a chan -> ('a -> process) -> process
val (>>) : (unit -> unit) -> process -> process
val (|||) : process -> process -> process
val (++) : transition -> transition -> process
val run : process -> unit
OCaml

Innovation. Community. Security.