Property definitions

markdown $ TokenCodeDouble :: defaultinit
# A doubled span code token.
class TokenCodeDouble
	super TokenCode

	redef fun next_pos do return 1
end
lib/markdown/markdown.nit:2062,1--2067,3