Contents

(decl pure ctor (u32) u32)
(decl impure (u32) u32)

(decl entry (u32) u32)

(rule (entry x)
      (if-let y (ctor x))
      y)

(rule (ctor x)
      (impure x))

(rule (impure x) x)

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/impure_rhs.isle
wasmtime-28.0.0	./ext/cargo-vendor/cranelift-isle-0.115.0/isle_examples/fail/impure_rhs.isle