Module udc - User-defined channels

User-defined channels.

For more information, see "User-Defined Channels in occam".

Index

Declarations