% For HTML signal[val: TYPE]: THEORY BEGIN IMPORTING time signal: TYPE = [time -> val] END signal