% 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