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

(define-block
  cd2d__horizontal_los?


  (
    cd2d__horizontal_los?__In1__Out1_1_1
    cd2d__horizontal_los?__Out1__In1_1_1
  )

  (
    cd2d__horizontal_los?__D__Out1_1_1
    cd2d__horizontal_los?__Product__In1_1_1
    cd2d__horizontal_los?__Product__In2_1_1
    cd2d__horizontal_los?__Product__Out1_1_1
    cd2d__horizontal_los?__RelationalOperator__In1_1_1
    cd2d__horizontal_los?__RelationalOperator__In2_1_1
    cd2d__horizontal_los?__RelationalOperator__Out1_1_1
    cd2d__horizontal_los?__sqv_v__In1_1_1
    cd2d__horizontal_los?__sqv_v__In2_1_1
    cd2d__horizontal_los?__sqv_v__Out1_1_1
  )

  (
  )

  (
    (- cd2d__horizontal_los?__In1__Out1_1_1 (mk-record 0 1))
    (- cd2d__horizontal_los?__D__Out1_1_1 (mk-record 0 1))
    (- cd2d__horizontal_los?__Out1__In1_1_1 (mk-record 0 0))

    (- cd2d__horizontal_los?__Product__Out1_1_1  (+ cd2d__horizontal_los?__Product__In1_1_1 cd2d__horizontal_los?__Product__In2_1_1))
    (- cd2d__horizontal_los?__RelationalOperator__In1_1_1 cd2d__horizontal_los?__RelationalOperator__In2_1_1)
    (- cd2d__horizontal_los?__sqv_v__Out1_1_1 (+ cd2d__horizontal_los?__sqv_v__In1_1_1 cd2d__horizontal_los?__sqv_v__In2_1_1))
    (- cd2d__horizontal_los?__sqv_v__In1_1_1  cd2d__horizontal_los?__sqv_v__In2_1_1)
    
    (- cd2d__horizontal_los?__RelationalOperator__In1_1_1 cd2d__horizontal_los?__sqv_v__Out1_1_1)
    (- cd2d__horizontal_los?__sqv_v__In1_1_1 cd2d__horizontal_los?__In1__Out1_1_1)
    (- cd2d__horizontal_los?__sqv_v__In2_1_1 cd2d__horizontal_los?__In1__Out1_1_1)
    (- cd2d__horizontal_los?__RelationalOperator__In2_1_1 cd2d__horizontal_los?__Product__Out1_1_1)
    (- cd2d__horizontal_los?__Out1__In1_1_1 cd2d__horizontal_los?__RelationalOperator__Out1_1_1)
    (- cd2d__horizontal_los?__Product__In1_1_1 cd2d__horizontal_los?__D__Out1_1_1)
    (- cd2d__horizontal_los?__Product__In2_1_1 cd2d__horizontal_los?__D__Out1_1_1)
  )
)