Property definitions

json $ JsonSequenceRead :: defaultinit
# A sequence that can be translated into a JSON array.
class JsonSequenceRead[E: nullable Serializable]
	super Serializable
	super SequenceRead[E]
end
lib/json/static.nit:470,1--474,3