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

(define-block
  sldemo_clutch_if__FrictionModeLogic__LockupFSM


  (
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1
  )

  (
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_2_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_3_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In2_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In3_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_1_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_2_1
    sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_3_1
  )

  (
  )

  (
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1 (mk-record 0 0 0))

    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_2_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In2_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_3_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In3_1_1)
    
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__lock__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In2_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__unlock__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_2_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_2_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__In1_3_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__Out1_3_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Mux__In3_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__locked__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__Out1_1_1)
    (- sldemo_clutch_if__FrictionModeLogic__LockupFSM__Memory__In1_1_1 sldemo_clutch_if__FrictionModeLogic__LockupFSM__CombinatorialLogic__Out1_1_1)
  )
)