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              ;
   7
   8 datatype Q = Some int | None ;