 meta symbol. Its antiquotation kind is "list" (the
    default when the meta symbol parameter is a list). It is therefore
    possible to write "<tt>$list:...$</tt>" at the place of the
    binding list.</li>
  <li>The expression after the "in" is also antiquotable, because it
    belongs to the main types defined in the module "<tt>MLast</tt>".</li>
</ul>

<p>In that example, the variable "<tt>r</tt>" is of type "<tt>Ploc.vala
  bool</tt>", the variable "<tt>r</tt>" of type "<tt>Ploc.vala (list
  (patt * 