elem package:text

O(n) The elem function takes a character and a Text, and returns True if the element is found in the given Text, or False otherwise.
O(n) elem is the stream membership predicate. Properties
elem c . stream = elem c