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

(define-func example.loop
  (forall ?0 type)
  [?0] [?0] (ext)
  (dfg
    [%0] [%1]
    (signature (fn [?0] [?0] (ext)))
    (tail-loop
      [%0] [%1]
      (signature (fn [?0] [?0] (ext)))
      (dfg
        [%2] [%3]
        (signature (fn [?0] [(adt [[?0] [?0]])] (ext)))
        (tag 0 [%2] [%3] (signature (fn [?0] [(adt [[?0] [?0]])] (ext))))))))