---
source: hugr-core/tests/model.rs
expression: "roundtrip(include_str!(\"fixtures/model-call.edn\"))"
---
(hugr 0)

(declare-func example.callee
  (forall ?0 ext-set)
  [(@ arithmetic.int.types.int)]
  [(@ arithmetic.int.types.int)]
  (ext arithmetic.int . ?0))

(define-func example.caller
  [(@ arithmetic.int.types.int)]
  [(@ arithmetic.int.types.int)]
  (ext arithmetic.int)
  (dfg
    [%0] [%1]
    (signature
      (fn
        [(@ arithmetic.int.types.int)]
        [(@ arithmetic.int.types.int)]
        (ext arithmetic.int)))
    (call (@ example.callee (ext)) [%0] [%1]
      (signature
        (fn
          [(@ arithmetic.int.types.int)]
          [(@ arithmetic.int.types.int)]
          (ext arithmetic.int))))))

(define-func example.load
  []
  [(fn
     [(@ arithmetic.int.types.int)]
     [(@ arithmetic.int.types.int)]
     (ext arithmetic.int))]
  (ext)
  (dfg
    (signature
      (fn
        []
        [(fn
           [(@ arithmetic.int.types.int)]
           [(@ arithmetic.int.types.int)]
           (ext arithmetic.int))]
        (ext)))
    (load-func (@ example.caller)
      (signature
        (fn
          []
          [(fn
             [(@ arithmetic.int.types.int)]
             [(@ arithmetic.int.types.int)]
             (ext arithmetic.int))]
          (ext))))))