Property definitions

geometry $ Box :: _top
	redef var top: N
lib/geometry/boxes.nit:99,2--17