prop-src/simple.pcc

   1 datatype Exp = INT int        => _
   2              | ADD (Exp, Exp) => _ "+" _
   3              | SUB (Exp, Exp) => _ "-" _
   4              | MUL (Exp, Exp) => _ "*" _
   5              | DIV (Exp, Exp) => _ "/" _
   6              ;