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

channel defines [...] can be defined

Timer are both defined as Inputs

METHOD Define

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

as if they were defined in the module

is defined in the section

defined by extensions

, where you define, whether

that were defined in the module