Lines Matching defs:ReturnsTwice
102 | ReturnsTwice752 | Attribute.ReturnsTwice -> Int32.shift_left 1l 29792 checkattr Attribute.ReturnsTwice;