Sha256: 203c0a8c762603f22a1f2593b2b9f427c14e63f18c56ef8d1d6107634af3bdcd

Contents?: true

Size: 520 Bytes

Versions: 36

Compression:

Stored size: 520 Bytes

Contents

(type i32 (primitive i32))

(type B (enum (B (x i32) (y i32))))

;; `isub` has a constructor and extractor.
(decl isub (i32 i32) B)
(rule (isub x y)
      (B.B x y))
(extractor (isub x y)
           (B.B x y))

;; `value_array_2` has both an external extractor and an external constructor.
(type Value (primitive Value))
(type ValueArray2 extern (enum))
(decl value_array_2 (Value Value) ValueArray2)
(extern extractor infallible value_array_2 unpack_value_array_2)
(extern constructor value_array_2 pack_value_array_2)

Version data entries

36 entries across 36 versions & 1 rubygems

Version Path
wasmtime-27.0.0 ./ext/cargo-vendor/cranelift-isle-0.114.0/isle_examples/pass/construct_and_extract.isle
wasmtime-26.0.0 ./ext/cargo-vendor/cranelift-isle-0.113.0/isle_examples/pass/construct_and_extract.isle
wasmtime-25.0.2 ./ext/cargo-vendor/cranelift-isle-0.112.2/isle_examples/pass/construct_and_extract.isle
wasmtime-25.0.1 ./ext/cargo-vendor/cranelift-isle-0.112.1/isle_examples/pass/construct_and_extract.isle
wasmtime-25.0.0 ./ext/cargo-vendor/cranelift-isle-0.112.0/isle_examples/pass/construct_and_extract.isle
wasmtime-24.0.0 ./ext/cargo-vendor/cranelift-isle-0.111.0/isle_examples/pass/construct_and_extract.isle
wasmtime-23.0.2 ./ext/cargo-vendor/cranelift-isle-0.110.2/isle_examples/pass/construct_and_extract.isle
wasmtime-22.0.0 ./ext/cargo-vendor/cranelift-isle-0.109.0/isle_examples/pass/construct_and_extract.isle
wasmtime-21.0.1 ./ext/cargo-vendor/cranelift-isle-0.108.1/isle_examples/pass/construct_and_extract.isle
wasmtime-20.0.2 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/pass/construct_and_extract.isle
wasmtime-20.0.0 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/pass/construct_and_extract.isle
wasmtime-18.0.3 ./ext/cargo-vendor/cranelift-isle-0.105.3/isle_examples/pass/construct_and_extract.isle
wasmtime-17.0.1 ./ext/cargo-vendor/cranelift-isle-0.104.1/isle_examples/pass/construct_and_extract.isle
wasmtime-17.0.0 ./ext/cargo-vendor/cranelift-isle-0.104.0/isle_examples/pass/construct_and_extract.isle
wasmtime-16.0.0 ./ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/pass/construct_and_extract.isle
wasmtime-15.0.1 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/pass/construct_and_extract.isle
wasmtime-15.0.0 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/pass/construct_and_extract.isle
wasmtime-14.0.4 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/pass/construct_and_extract.isle
wasmtime-14.0.3 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/pass/construct_and_extract.isle
wasmtime-14.0.1 ./ext/cargo-vendor/cranelift-isle-0.101.1/isle_examples/pass/construct_and_extract.isle