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

(define-block
  hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection


  (
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In6_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In7_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In8_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In9_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In10_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In11_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In12_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__In13_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out2_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out3_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out4_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out5_1_1
    hybrid_analysis_prb2__transmission__compute_states__dynamic_mode_selection__Out6_1_1
  )

  (
  )

  (
  )

  (

    
  )
)