private fun tos=(tos: HashSet[E])

poset :: POSetElement :: tos=

Property definitions

poset $ POSetElement :: tos= 
	private var tos = new HashSet[E]
lib/poset/poset.nit:532,2--33
Nit tools. Version v0.8-3595-g3f58b4f.