if elem = value, then tree [ node (elem, d, p), rest ] contains value = True
Please log in to add comments