;; (define-type dim (record mass::int time::int length::int currency::int temperature::int))

(define-block
  sldemo_househeat__Thermostat


  (
    sldemo_househeat__Thermostat__Terr__Out1_1_1
    sldemo_househeat__Thermostat__BlowerSwitch__In1_1_1
  )

  (
    sldemo_househeat__Thermostat__Relay1__In1_1_1
    sldemo_househeat__Thermostat__Relay1__Out1_1_1
  )

  (
  )

  (
    (- sldemo_househeat__Thermostat__Terr__Out1_1_1 (mk-record 0 0 0 0 1))
    (- sldemo_househeat__Thermostat__BlowerSwitch__In1_1_1 (mk-record 0 0 0 0 0))

    
    (- sldemo_househeat__Thermostat__BlowerSwitch__In1_1_1 sldemo_househeat__Thermostat__Relay1__Out1_1_1)
    (- sldemo_househeat__Thermostat__Relay1__In1_1_1 sldemo_househeat__Thermostat__Terr__Out1_1_1)
  )
)