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

(mod)

(declare-ctr array.Array (param ?t core.type) (param ?n core.nat) core.type
  (meta (core.meta.description "Fixed size array.")))

(declare-operation
  array.Init
  (param ?t core.type)
  (param ?n core.nat)
  (core.fn [?t] [(array.Array ?t ?n)])
  (meta
    (core.meta.description
      "Initialize an array of size ?n with copies of a default value.")))
