(hugr 0)

(mod)

(define-func public main
  (core.fn [] [])
  (meta core.entrypoint)
  (dfg [] []
    (signature (core.fn [] []))))

(mod)

(define-func public wrapper_dfg
  (core.fn [] [])
  (dfg [] []
    (signature (core.fn [] []))
    (meta core.entrypoint)))

(mod)

(define-func public wrapper_cfg
  (core.fn [] [])
  (dfg [] []
    (signature (core.fn [] []))
    (cfg [] []
      (signature (core.fn [] []))
      (cfg [%entry] [%exit]
        (signature (core.ctrl [[]] [[]]))
        (meta core.entrypoint)
        (block [%entry] [%exit]
          (signature (core.ctrl [[]] [[]]))
          (dfg [] [%value]
            (signature (core.fn [] [(core.adt [[]])]))
            ((core.make_adt _ _ 0) [] [%value]
              (signature (core.fn [] [(core.adt [[]])])))))))))
