Is t != element and is there an edge from element to t?

var pos = new POSet[String]
pos.add_chain(["A", "B", "C", "D"])
assert     pos["B"] < "D"
assert     pos["B"] < "C"
assert not pos["B"] < "B"
assert not pos["B"] < "A"

Property definitions

poset $ POSetElement :: <
	# Is `t != element` and is there an edge from `element` to `t`?
	#
	# ~~~~
	# var pos = new POSet[String]
	# pos.add_chain(["A", "B", "C", "D"])
	# assert     pos["B"] < "D"
	# assert     pos["B"] < "C"
	# assert not pos["B"] < "B"
	# assert not pos["B"] < "A"
	# ~~~~
	fun <(t: E): Bool
	do
		return t != self.element and self.tos.has(t)
	end
lib/poset/poset.nit:606,2--619,4