%%
%% $Id: aterm.ldf 1576 2004-02-28 23:01:14Z adam $
%%
%% Language definition of ATerm for listings package
%%
\lstdefinelanguage{ATerm}
  {otherkeywords={[,\,,],(,)},
    morekeywords=[1]{Some, None}
    sensitive,
    morestring=[b]"
  }[keywords,comments,strings]
