Contents

(decl A (u32 u64) u32)

(rule 1 (A x x) x)
(rule 0 (A x _) 0)

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
wasmtime-29.0.0	./ext/cargo-vendor/cranelift-isle-0.116.0/isle_examples/fail/bound_var_type_mismatch.isle
wasmtime-28.0.0	./ext/cargo-vendor/cranelift-isle-0.115.0/isle_examples/fail/bound_var_type_mismatch.isle