Property definitions

nitc $ ABinOpHelper :: bin_expr1
	fun bin_expr1: AExpr is abstract
src/pretty.nit:1965,2--33

nitc :: pretty $ ABinopExpr :: bin_expr1
	redef fun bin_expr1 do return n_expr
src/pretty.nit:2027,2--37

nitc :: pretty $ AOrExpr :: bin_expr1
	redef fun bin_expr1 do return n_expr
src/pretty.nit:2011,2--37

nitc :: pretty $ AImpliesExpr :: bin_expr1
	redef fun bin_expr1 do return n_expr
src/pretty.nit:2019,2--37

nitc :: pretty $ AAndExpr :: bin_expr1
	redef fun bin_expr1 do return n_expr
src/pretty.nit:2003,2--37