Operator string

Property definitions

	# Operator string
	fun bin_op: String is abstract

src/pretty.nit:1968,2--1969,31

	redef fun bin_op do return operator

src/pretty.nit:2029,2--36

	redef fun bin_op do return "or"

src/pretty.nit:2013,2--32

	redef fun bin_op do return "implies"

src/pretty.nit:2021,2--37

	redef fun bin_op do return "and"

src/pretty.nit:2005,2--33