type SIGNAL is
   sorts
      Signal
   opns
      START   (*! constructor *), RESET   (*! constructor *),
      TIMEOUT (*! constructor *), S_READY (*! constructor *),
      R_READY (*! constructor *)  : -> Signal
endtype