Property definitions

nitc $ CardCatalog :: defaultinit
# A card that displays Nit catalog related data
abstract class CardCatalog
	super StaticCard
	autoinit(catalog)

	# Catalog used to extract the data
	var catalog: Catalog is writable
end
src/doc/static/static_cards.nit:447,1--454,3