Sha256: 9a78ab0461496be950c070da48ac0be03aea83afa9f7efbfbcaeee86ee340485
Contents?: true
Size: 350 Bytes
Versions: 34
Compression:
Stored size: 350 Bytes
Contents
(type u32 (primitive u32))
(type A extern (enum (B (x u32) (y u32))))
(decl get_a (A) u32)
(extern extractor get_a get_a)
(decl pure partial u32_pure (u32) u32)
(extern constructor u32_pure u32_pure)
(decl entry (u32) u32)
(rule (entry x @ (get_a a1))
(if-let (get_a a2) x)
(if-let (A.B p q) a1)
(if-let r (u32_pure p))
r)
Version data entries
34 entries across 34 versions & 1 rubygems