What kind of ellipsis is shown by lahum ilfun wa-laysa lakum īlāf?

Ellipsis in Istiʾnāf and Two Grounds for Waṣl