(hugr 0)

(mod)

(define-func
  public
  example.add
  (core.fn
    [(arithmetic.int.types.int 6) (arithmetic.int.types.int 6)]
    [(arithmetic.int.types.int 6)])
  (dfg [%0 %1] [%2]
    (signature
      (core.fn
        [(arithmetic.int.types.int 6) (arithmetic.int.types.int 6)]
        [(arithmetic.int.types.int 6)]))
    ((arithmetic.int.iadd 6) [%0 %1] [%2]
      (signature
        (core.fn
          [(arithmetic.int.types.int 6) (arithmetic.int.types.int 6)]
          [(arithmetic.int.types.int 6)])))))
