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

(define-block
  cd2d__omega_vv__IfActionSubsystem


  (
    cd2d__omega_vv__IfActionSubsystem__s__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem__v__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem__Out1__In1_1_1
  )

  (
    cd2d__omega_vv__IfActionSubsystem__Product__In1_1_1
    cd2d__omega_vv__IfActionSubsystem__Product__In2_1_1
    cd2d__omega_vv__IfActionSubsystem__Product__Out1_1_1
  )

  (
  )

  (
    (- cd2d__omega_vv__IfActionSubsystem__s__Out1_1_1 (mk-record 0 1))
    (- cd2d__omega_vv__IfActionSubsystem__v__Out1_1_1 (mk-record -1 1))
    (- cd2d__omega_vv__IfActionSubsystem__Out1__In1_1_1 (mk-record -1 2))

    (- cd2d__omega_vv__IfActionSubsystem__Product__Out1_1_1  (+ cd2d__omega_vv__IfActionSubsystem__Product__In1_1_1 cd2d__omega_vv__IfActionSubsystem__Product__In2_1_1))
    
    (- cd2d__omega_vv__IfActionSubsystem__Product__In2_1_1 cd2d__omega_vv__IfActionSubsystem__v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem__Product__In1_1_1 cd2d__omega_vv__IfActionSubsystem__s__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem__Out1__In1_1_1 cd2d__omega_vv__IfActionSubsystem__Product__Out1_1_1)
  )
)