blob: 45919fe221c7611388bc21fb1574c7cbf3805eeb [file] [log] [blame]
(type u32 (primitive u32))
(decl multi A (u32) u32)
(decl multi B (u32) u32)
(decl multi C (u32) u32)
(decl multi D (u32) u32)
(extern constructor B ctor_B)
(extern extractor C etor_C)
(rule (A x)
(B x))
(rule (D (C x))
(B x))