(*pp camlp4o -I . pa_extend.cmo q_MLast.cmo *) GRAMMAR (* l := l & l *) expr := expr & expr | VAR ; END let a = term ( A & B ) ;;