What a part's type says of it: a program's types, and the events it raises and the external messages it takes.
What a part's type says of it: a program's types, and the events it raises and the external messages it takes.