36 \newcommand{\isasymANIL}{$\mathtt{anil}$}

    36 \newcommand{\isasymANIL}{$\mathtt{anil}$}

    37 \newcommand{\isasymACONS}{$\mathtt{acons}$}

    37 \newcommand{\isasymACONS}{$\mathtt{acons}$}

    38 \newcommand{\isasymCASE}{$\mathtt{case}$}

    38 \newcommand{\isasymCASE}{$\mathtt{case}$}

    39 \newcommand{\isasymOF}{$\mathtt{of}$}

    39 \newcommand{\isasymOF}{$\mathtt{of}$}

    40 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}

    40 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}

    41 \newcommand{\LET}{\;\mathtt{let}\;}

    42 \newcommand{\LET}{\;\mathtt{let}\;}

    42 \newcommand{\IN}{\;\mathtt{in}\;}

    43 \newcommand{\IN}{\;\mathtt{in}\;}

    43 \newcommand{\END}{\;\mathtt{end}\;}

    44 \newcommand{\END}{\;\mathtt{end}\;}

    44 \newcommand{\AND}{\;\mathtt{and}\;}

    45 \newcommand{\AND}{\;\mathtt{and}\;}

    45 \newcommand{\fv}{\mathit{fv}}

    46 \newcommand{\fv}{\mathit{fv}}