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

(define-block
  sldemo_enginewc__valvetiming


  (
    sldemo_enginewc__valvetiming__N__Out1_1_1
    sldemo_enginewc__valvetiming__edge180__In1_1_1
  )

  (
    sldemo_enginewc__valvetiming__TDCandBDCdetection__N__Out1_1_1
    sldemo_enginewc__valvetiming__TDCandBDCdetection__trigger__In1_1_1
    sldemo_enginewc__valvetiming__positiveedgetodualedgeconversion__trigger__In1_1_1
    sldemo_enginewc__valvetiming__rad/sec_1_1
  )

  (
    (sldemo_enginewc__valvetiming__TDCandBDCdetection sldemo_enginewc__valvetiming__TDCandBDCdetection__N__Out1_1_1 sldemo_enginewc__valvetiming__TDCandBDCdetection__trigger__In1_1_1)
    (sldemo_enginewc__valvetiming__positiveedgetodualedgeconversion sldemo_enginewc__valvetiming__positiveedgetodualedgeconversion__trigger__In1_1_1)
  )

  (
    (- sldemo_enginewc__valvetiming__N__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_enginewc__valvetiming__edge180__In1_1_1 (mk-record 0 0 0))

    
    (- sldemo_enginewc__valvetiming__edge180__In1_1_1 sldemo_enginewc__valvetiming__positiveedgetodualedgeconversion__trigger__In1_1_1)
    (- sldemo_enginewc__valvetiming__TDCandBDCdetection__N__Out1_1_1 sldemo_enginewc__valvetiming__rad/sec_1_1)
    (- sldemo_enginewc__valvetiming__rad/sec_1_1 sldemo_enginewc__valvetiming__N__Out1_1_1)
    (- sldemo_enginewc__valvetiming__TDCandBDCdetection__N__Out1_1_1 sldemo_enginewc__valvetiming__N__Out1_1_1)
  )
)