Property definitions

nitc $ HInfoBoxable :: defaultinit
# Model entity or whatever that can produce an infobox
interface HInfoBoxable
	# An new infobox documenting the entity
	fun infobox(v: HtmlightVisitor): HInfoBox is abstract
end
src/htmlight.nit:418,1--422,3