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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule


  (
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In4_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1
  )

  (
  )

  (
  )

  (

    
  )
)