Class ElementExists


public class ElementExists extends Element1
The syntax element for "Exists" in a pattern.