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

(define-block
  sldemo_clutch_if__FrictionModel


  (
    sldemo_clutch_if__FrictionModel__Fn__Out1_1_1
    sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1
    sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1
  )

  (
    sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__In1_1_1
    sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Out1_1_1
    sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Constant_1_1
    sldemo_clutch_if__FrictionModel__Torque_Conversion__In1_1_1
    sldemo_clutch_if__FrictionModel__Torque_Conversion__Out1_1_1
    sldemo_clutch_if__FrictionModel__Torque_Conversion__Constant_1_1
  )

  (
  )

  (
    (- sldemo_clutch_if__FrictionModel__Fn__Out1_1_1 (mk-record -2 1 1))
    (- sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Constant_1_1 (mk-record 0 0 0))
    (- sldemo_clutch_if__FrictionModel__Torque_Conversion__Constant_1_1 (mk-record 0 1 0))
    (- sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1 (mk-record -2 2 1))
    (- sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1 (mk-record -2 2 1))

    (- sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Out1_1_1 (+ sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__In1_1_1 sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Constant_1_1))
    (- sldemo_clutch_if__FrictionModel__Torque_Conversion__Out1_1_1 (+ sldemo_clutch_if__FrictionModel__Torque_Conversion__In1_1_1 sldemo_clutch_if__FrictionModel__Torque_Conversion__Constant_1_1))
    
    (- sldemo_clutch_if__FrictionModel__Tfmaxs__In1_1_1 sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__Out1_1_1)
    (- sldemo_clutch_if__FrictionModel__Torque_Conversion__In1_1_1 sldemo_clutch_if__FrictionModel__Fn__Out1_1_1)
    (- sldemo_clutch_if__FrictionModel__Tfmaxk__In1_1_1 sldemo_clutch_if__FrictionModel__Torque_Conversion__Out1_1_1)
    (- sldemo_clutch_if__FrictionModel__Ratio_of_static_to_kinetic__In1_1_1 sldemo_clutch_if__FrictionModel__Torque_Conversion__Out1_1_1)
  )
)