% Remember to use the lgrind style

\File{pattern\_parameterized.k},{14:51},{Feb 10 1998}
\L{\LB{\V{boolean}_\V{has\_sub}(\V{expr}_\V{\$a},_\V{expr}_\V{\$b})_\{}}
\L{\LB{____\V{Add}(_\V{asub}_)_\&_\V{asub}_=_\*_:_\{}}
\L{\LB{________\C{}\1\* code here will be executed if \'a\' has top-operator \'Add\', and asub == b \*\1\CE{}}}
\L{\LB{____\}}}
\L{\LB{____\K{default}:_\{_\K{return}_\V{False};_\}}}
\L{\LB{\}}}
