Lines Matching refs:ReturnsTwice
97 | ReturnsTwice679 | Attribute.ReturnsTwice -> Int32.shift_left 1l 29719 checkattr Attribute.ReturnsTwice;