Type of this process.
Type of this process.
the process type
Start this process by assigning it to a new user-level thread and a return channel.
Start this process by assigning it to a new user-level thread and a return channel.
the user-level thread
the return channel
unit
Apply a function f
that starts a new process on the result of this process.
Apply a function f
that starts a new process on the result of this process.
the function to apply to result.
the new process created by f
Apply a function f
to the result of this process.
Apply a function f
to the result of this process.
the function to apply to result.
a new process with the result
Instance of a ProcessType that has been bound to input and output channels but not yet running.