% Single line comments start with "%".  Multi-line comments are enclosed
% within tags of "%{}%".

% Example1

%{
  Light LED1 after SW1 then SW2 is pressed, in that order.
}%

module Example1 : 

% Instruct the Esterel compiler to generate #include "example1.h":

type ForceTheIncludeDirective;

       % Interface Declaration (objects a module imports or exports):

       input  SW1_ASSERTED;  % Switch SW1 input
       input  SW2_ASSERTED;  % Switch SW2 input

       output LED1_ASSERT;   % LED1 Output

       % Statement Body:

       await SW1_ASSERTED;   % Wait for SW1 to be pressed
       await SW2_ASSERTED;   % followed by SW2

       emit  LED1_ASSERT;    % then light LED1

end module