defined toplevel [...] _Template_1 defines the position [...] _Template_2 defines the alignment

channel defines [...] can be defined

is defined as follows: F

defined by extensions

that were defined in the module

. In this way you can define

Specification: Task : Defines [...] is defined, the task

METHOD Define

interface defines methods [...] BarrierForTime is as follows: by defining a

to define the mapping