Onager Asiatic cheetahs, and possibly bears, though they may have mostly preyed only on onager foals. In India, mugger crocodiles can be great threats to onagers during migratory river crossings. Currently, the biggest predator for onagers are gray wolves. About 23% of prey proportion of gray wolves were on the Asian wild ass. However, like most equids, they are known to have antipredator protection. Groups of stallions cooperate and try to chase off predators. If threatened, onagers defend themselves and violently kick at the incoming predator. The greatest threat facing the onager is poaching for meat and hides, and in some
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