Onager the Zygophyllaceae form an important component of the diet of the Mongolian wild ass. The onager is preyed upon by apex predators such as Persian leopard and striped hyenas. A few cases of onager deaths due to predation by leopards were recorded in Iran. Though leopards do not usually feed on equids as in Africa, this may be because Persian leopards are larger and strong enough to prey on Asiatic wild asses. In the Middle East and the Indian subcontinent, Asiatic lions and tigers were the biggest predators of onagers. They were also formerly preyed upon by Asiatic wild dog,
Type system or an "effect system", which enables even more program specifications to be verified by a type checker. Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing "what" is being done "with what", and enabling for example to "throw" an error report. Thus the symbolic system may be a "type and effect system", which endows it with more safety checking than type checking alone. Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal if outside the type-system rules. Advantages provided by programmer-specified type systems include: Advantages