ocaml/problems/simple.constants.1

   1 $! simple.constants.1/3\r
   2 D y (x C a) (x b C)\r
   3 C y (x C a) (x @ C)\r
   4 C y (x @ @) (x b C)\r
   5 \r
   6 $! simple.constants.1/1\r
   7 D y (x (y C))\r
   8 C y (x @)\r
   9 \r
  10 $! simple.constants.1/1'\r
  11 D y (z. x (y C))\r
  12 C y (z. x z)\r
  13 \r
  14 $! simple.constants.1/2\r
  15 D y (x (y C (x C)))\r
  16 C y (x (y C @))\r
  17 \r
  18 \r
  19 $! simple.constants.1/4\r
  20 D y (x C a) (x b C) (y C c)\r
  21 C y (x C a) (x @ C) (y C c)\r
  22 C y (x @ @) (x b C) (y C c)\r
  23 C y (x C a) (x b C) (y C @)\r