gcc config
[prop.git] / prop-src / simple.pcc
blob420061288d2583feac0601ea5e6ae44f4f309816
1 datatype Exp = INT int
2              | ADD (Exp, Exp)
3              | SUB (Exp, Exp)
4              | MUL (Exp, Exp)
5              | DIV (Exp, Exp)
6              ;
8 datatype Q = Some int | None ;